Model checking software : 12th international SPIN workshop San Francisco, Ca, USA, August 22-24, 2005: proceedings / ed. P. Godefroid, 2005 r=on-line. - Текст : электронный.