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
THE ANALYSIS AND COGNITION OF BASIC MELODIC STRUCTURES THE IMPLICATION-REALIZATION MODEL
NARMOUR2222 年出版485 页ISBN:0226568458
Prometheus An Advanced Logic Based AlToolkit
Richard Broughton1991 年出版370 页ISBN: