Verifying Temporal Relational Models with Pardinus Artigo de Conferência

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

autores

Julien Brunel
David Chemouil
Manuel Alcino Pereira da Cunha

data de publicação

janeiro 1, 2023