Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Lecture Notes in Computer Science 4178 Graph Transformations Third International Conference
ICGT 20062006 年出版473 页ISBN:3540388702
Lecture Notes in Computer Science 3001 Pervasive Computing Second International Conference
PERVASIVE 20042004 年出版358 页ISBN:3540218351
Lecture Notes in Computer Science 3477 Trust Management Third International Conference
iTrust 20052005 年出版426 页ISBN:3540260420
Lecture Notes in Computer Science 3256 Graph Transformations Second International Conference
ICGT 20042004 年出版451 页ISBN:3540232079
Lecture Notes in Computer Science 2995 Trust Management Second International Conference
iTrust 20042004 年出版377 页ISBN:3540213120
Lecture Notes in Computer Science 4563 Virtual Reality Second International Conference
ICVR 20072007 年出版762 页ISBN:9783540733348