Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence ICTAL 2001
IEEE Computer Society2001 年出版349 页ISBN：
Lecture Notes in Computer Science 3125 Mathemati of Program Construction 7th International Conferenc
MPC 20042004 年出版401 页ISBN：3540223800
4th INTERNATIONAL SAMPE ELECTRONICS CONFERENCE VOLUME 4 ELECTRONIC MATERIALS-OUR FUTURE
Ron E.Allred Robert J1990 年出版859 页ISBN：
Lecture Notes in Computer Science 4137 CONCUR 2006-Concurrency Theory 17th International Conference，
2006 年出版523 页ISBN：3540373764
Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
