PDMC

International Workshop on Parallel and Distributed Methods in Verification

Search within this conference

Search

1. 2006

   PDMC 2006

   • 31-31 August
   • Bonn, Germany

   • Formal Methods: Applications and Technology

     24 Papers

     1 Volume