"ENTCS, Vol. 89, No. 1" . . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings." . "2"^^ . "RIV/00216224:14330/03:00008595!RIV08-MSM-14330___" . "130"^^ . "Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003." . . "14330" . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings."@en . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings."@cs . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings."@cs . "620506" . . . . "Brim, Lubo\u0161" . "P(GA201/03/0509), Z(MSM 143300001)" . . "model checking; parallel computing; distributed computing"@en . . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings." . . . "Elsevier" . . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings."@en . "Nizozemsko" . "RIV/00216224:14330/03:00008595" . . "Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003."@en . "PDMC 2003 - Parallel and Distributed Model Checking. Proceedings." . . . . . "130"^^ . "[FA30DDD7A59A]" . "Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003."@cs . . "1"^^ . . "Grumberg, Orna" .