中图分类法:	TP311-532 版次：
题名:	Model checking software : [ 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /] / ,
其它题名:	13th International SPIN Workshop
其它题名:	Thirteenth International SPIN Workshop
其它题名:	SPIN 2006
其它题名:	European Joint Conferences on Theory and Practice of Software
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2006.
载体形态:	x, 305 p. : ill. ; 24 cm.
附注:	"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref.
主题词:	Computer software Verification
主要责任者:	Valmari, Antti.