author : Orna Grumberg

Books

• Model Checking. 1999, with Edmund M. Clarke Jr, Doron A. Peled