A categorical approach to simulations
- Palomino, M.
- Meseguer, J.
- Martí-Oliet, N.
ISSN: 0302-9743
Any de publicació: 2005
Volum: 3629
Pàgines: 313-330
Tipus: Aportació congrés
Actes:
Lecture Notes in Computer Science