M.Y.: Model checking of safety properties (2001)

by O Kupferman, Vardi
Venue:Formal Methods in System Design