Bisimulations up-to for the linear time branching time spectrum

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

ISSN: 0302-9743

Year of publication: 2005

Volume: 3653

Pages: 278-292

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus