Bisimulations up-to for the linear time branching time spectrum

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

ISSN: 0302-9743

Argitalpen urtea: 2005

Alea: 3653

Orrialdeak: 278-292

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus