.gif)
Distributed Model Checking
| Title | Distributed Model Checking |
| Publication Type | Conference Proceedings |
| Year of Conference | 2002 |
| Authors | Ehrich, H. - D., M. Kollmann, and R. Pinger |
| Conference Name | Proc. FM-TOOLS 2002 |
| Pagination | 53-58 |
| Abstract | no |
| Public | no |