Exploiting Partial Knowledge for Efficient Model Analysis Artigo de Conferência Capítulo de livro uri icon

autores

  • Macedo, N
  • Manuel Alcino Pereira da Cunha
  • Pessoa, E

data de publicação

  • 2017