A Partial Order Approach to Branching Time Logic Model Checking (1994)

Cached

Download Links

by Rob Gerth , Ruurd Kuiper , Doron Peled , Wojciech Penczek
Venue:Information and Computation
Citations:55 - 14 self