Model Checking, Second Edition
Model Checking, Second Edition1999
Daniel Kroening, Doron Peled, Edmund M. Clarke, Helmut Veith, Orna Grumberg
Details
- First published
- 1999
- OL Work ID
- OL21860048W
Subjects
Sat (educational test)Models and modelmaking
Daniel Kroening, Doron Peled, Edmund M. Clarke, Helmut Veith, Orna Grumberg