Bisimulations up-to for the linear time branching time spectrum

  1. De Frutos Escrig, D.
  2. Rodríguez, C.G.
Actes:
Lecture Notes in Computer Science

ISSN: 0302-9743

Any de publicació: 2005

Volum: 3653

Pàgines: 278-292

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus