autores
- Macedo, Nuno
- Brunel, J
- Chemouil, D
- Cunha, Alcino
- Manuel Alcino Pereira da Cunha
- Macedo, N
- Brunel, J
- Chemouil, D
Verifying Temporal Relational Models with Pardinus
Artigo de Conferência
Capítulo de livro
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- 2023