Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Año de publicación: 2008
Volumen: 206
Número: C
Páginas: 41-58
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2008
Volumen: 206
Número: C
Páginas: 41-58
Tipo: Artículo