Lecture Notes in Computer Science 4746 Dependable Computing Third Latin-American Symposium
LADC 20072007 年出版239 页ISBN:9783540752936
Lecture Notes in Computer Science 3747 Dependable Computing Second Latin-American Symposium
LADC 20052005 年出版267 页ISBN:3540295720
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