Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)
Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA.