Media type: E-Article Title: Lecture Notes in Computer Science: Equivalence Checking 40 Years After: A Review of Bisimulation Tools Contributor: Garavel, Hubert; Lang, Frédéric Published: Springer Nature Switzerland, 2022 Published in: Lecture Notes in Computer Science (2022), Seite 213-265 Language: Not determined DOI: 10.1007/978-3-031-15629-8_13 ISBN: 9783031156281; 9783031156298 ISSN: 0302-9743; 1611-3349 Origination: Footnote: