Model Checking TLA+ Specifications

著者: Yuan Yu, Panagiotis Manolios, Leslie Lamport - Lecture notes in computer science 1999 被引用: 269