Bisimulation and Model Checking (1999)

Cached

Download Links

by Kathi Fisler , Moshe Y. Vardi
Venue:In Proc. Compositionality Workshop, LNCS 1536
Citations:69 - 11 self