Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Any de publicació: 2008
Volum: 206
Número: C
Pàgines: 41-58
Tipus: Article
ISSN: 1571-0661
Any de publicació: 2008
Volum: 206
Número: C
Pàgines: 41-58
Tipus: Article