L.: Model Checking TLA+ Specifications (1999)

by Y Yu, P Manolios, Lamport
Venue:Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’99), LNCS