Browse by Journal
Number of items: 1.
Freitas, Leonardo, Cavalcanti, Ana L. C., Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. . Sociedade Brasileira de Computacao (KAR id:13530) |
Freitas, Leonardo, Cavalcanti, Ana L. C., Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. . Sociedade Brasileira de Computacao (KAR id:13530) |