Bisimulations up-to for the linear time branching time spectrum
Actas:
Lecture Notes in Computer Science
ISSN: 0302-9743
Ano de publicación: 2005
Volume: 3653
Páxinas: 278-292
Tipo: Achega congreso