[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || The joys of bisimulation
Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří
- 作者Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří
- 文件大小578.63KB
- 发表时间1998
- DOI10.1007/bfb0055763
- 页码142-151