Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands. (Lecture Notes in Computer Science ; 6349)
Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands.