IMCReo: interactive Markov chains for Stochastic Reo Artigo Académico uri icon

autores

  • Nuno Oliveira
  • Alexandra Silva
  • Barbosa, L.S.

data de publicação

  • janeiro 1, 2015