Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: F

Number of items: 1.

F

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)

This list was generated on Mon Apr 22 22:57:37 2024 BST.