8th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2009

Wednesday, November 4, 2009, Eindhoven, The Netherlands
Collocating with Formal Methods 2009, November 2 - November 6, 2009
and other related events for the first time under the heading of Formal Methods Week.

Accepted Regular Papers

Accepted Tool Papers

Work-in-progress Reports