On the computational complexity of bisimulation

• 1 June 1995
• journal article
• Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
• Vol. 27  (2) , 287-289
• https://doi.org/10.1145/210376.210406

Abstract