*Result*: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Title:
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Contributors:
Antti Valmari
Source:
SPIN. 3925
Availability:
Database:
dblp computer science bibliography