A Fast Bisimulation Algorithm (2000)

Cached

Download Links

by Agostino Dovier , Carla Piazza
Venue:PROC. OF INT. CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV’01), VOLUME 2102 OF LNCS
Citations:29 - 15 self