Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)
Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany.