Bisimulations up-to for the linear time branching time spectrum

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

ISSN: 0302-9743

Año de publicación: 2005

Volumen: 3653

Páginas: 278-292

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus