Yuan Yu, Panagiotis Manolios, Leslie Lamport. Model Checking TLA:::+::: Specifications. In Laurence Pierre, Thomas Kropf, editors, Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. Volume 1703 of Lecture Notes in Computer Science, pages 54-66, Springer, 1999. [doi]
Abstract is missing.