Media type: E-Article Title: Different directions in parallel and distributed model checking Contributor: Grumberg, Orna Published: Elsevier BV, 2002 Published in: Electronic Notes in Theoretical Computer Science, 68 (2002) 4, Seite 485 Language: English DOI: 10.1016/s1571-0661(05)80387-1 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access