author : Doron A. Peled

Books

• Model Checking. 1999, with Edmund M. Clarke Jr, Orna Grumberg