Bisimulations up-to for the linear time branching time spectrum

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

ISSN: 0302-9743

Année de publication: 2005

Volumen: 3653

Pages: 278-292

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus