A Faster Parallel Implementation of the Kanellakis-Smolka Algorithm for Bisimilarity Checking (1998)

Cached

Download Links

by Cheoljoo Jeong , Youngchan Kim , Youngbae Oh , Heungnam Kim
Venue:In Proceedings of the International Computer Symposium
Citations:1 - 0 self