Introductory paper: Parallel and Distributed Model Checking
| Authors | |
|---|---|
| Year of publication | 2005 |
| Type | Article in Periodical |
| Magazine / Source | International Journal on Software Tools for Technology Transfer (STTT) |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | model-checking |
| Description | This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented. |
| Related projects: |