Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN:9781605668260
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
BORO DROPULIC BARRIE CARTER2008 年出版1078 页ISBN:0471703204