P.G. · Patrick Godefroid · Patrick Godfrey
| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem | Taschenbuch | 978-3-540-60761-8 (3-540-60761-7) | 2009 | |
| Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem | Paperback | 978-0-387-60761-0 (0-387-60761-7) | 1996 |