O
Orna Grumberg
8 works on record
Works

25 Years Of Model Checking History Achievements Perspectives

Languages From Formal to Natural Lecture Notes in Computer Science

Model checking

Computer Aided Verification
Model Checking, Second Edition
Model Checking, Second Edition
1999
Languages : from Formal to Natural
Languages : from Formal to Natural
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of Model Checking
25 Years of Model Checking