Verifying Temporal Relational Models with Pardinus Artigo de Conferência Capítulo de livro uri icon

data de publicação

  • 2023