Model checking /

• Main Author: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
• Other Authors: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, c1999.
• Subjects: Υπολογιστικά συστήματα