Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN:3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN:981022804X