Pardinus: A Temporal Relational Model Finder Artigo Académico

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Macedo, N
Brunel, J
Chemouil, D
Manuel Alcino Pereira da Cunha

data de publicação

janeiro 1, 2022

publicada em

Journal of Automated Reasoning Revista