| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Model Checking | 978-O-262-O327O-4 (O-262-O327O-8) | 1999 | Orna Grumberg · Doron A. Peled |
C.J · E C. · E. Clarke · E. J. · E.M. · E. M. Clarke · Edmund C. · Edmund Clarke · Edmund M. Clarke · M.C. · M. Clarke · M J