Model checking TLA+ specifications (1999)

by Yuan Yu , Panagiotis Manolios , Leslie Lamport
Venue:Correct Hardware Design and Verification Methods
Citations:63 - 7 self