Model checking software : 13th International SPIN workshop, Vienna, Austria, March 30 – April 1, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.