Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Argitalpen urtea: 2008
Alea: 206
Zenbakia: C
Orrialdeak: 41-58
Mota: Artikulua
ISSN: 1571-0661
Argitalpen urtea: 2008
Alea: 206
Zenbakia: C
Orrialdeak: 41-58
Mota: Artikulua