A faster parallel implementation of Kanellakis-Smolka algorithm for bisimilarity checking (1998)

by C Jeong, Y Kim, H Kim, Y Oh
Venue:In Proceedings of the International Computer Symposium