Algebraic Stuttering Simulations
- Martí-Oliet, N.
- Meseguer, J.
- Palomino, M.
ISSN: 1571-0661
Année de publication: 2008
Volumen: 206
Número: C
Pages: 91-110
Type: Article
Revue:
Electronic Notes in Theoretical Computer Science
