autores
- Brunel, J
- Chemouil, D
- Cunha, Alcino
- Manuel Alcino Pereira da Cunha
- Macedo, N
The Electrum Analyzer: model checking relational first-order temporal specifications
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2018