Parallel and distributed methods in verification : 5th international workshop, PDMC´06, Bonn, Germany, August 31, 2006 : preliminary proceedings : affiliated to CONCUR 2006 - Haverkort, Boudewijn; Pol, Jaco van de, 1969- ([s.n.], 2006)