Calculating invariants as coreflexive bisimulations Artigo de Conferência Capítulo de livro uri icon

autores

  • Barbosa, L. S.
  • Barbosa, L.S.
  • Oliveira, J.N.
  • Silva, A.

data de publicação

  • 2008