Model checking /

• Κύριος συγγραφέας: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
• Άλλοι συγγραφείς: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. : MIT Press, c1999.
• Θέματα: Υπολογιστικά συστήματα