Bisimulations up-to for the linear time branching time spectrum

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

ISSN: 0302-9743

Datum der Publikation: 2005

Ausgabe: 3653

Seiten: 278-292

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Datenquelle: Scopus