| Home | << 1 >> |
|
Author  |
Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh | Parallel and Distributed Model Checking in Eddy | 2006 | Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings | Springer - Verlag | 0302-9743 | 978-3-540-33102-5 | 10.1007/11691617_7 | 108-125 |