Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 3723 Analysis and Modelling of Faces and Gestures Second Internati
AMFG 20052005 年出版424 页ISBN:3540292292
Lecture Notes in Computer Science 4266 Advances in Information and Computer Security First Internati
IWSEC 20062006 年出版438 页ISBN:3540476997
Lecture Notes in Computer Science 4778 Analysis and Modeling of Faces and Gestures Third Internation
AMFG 20072007 年出版304 页ISBN:9783540756897
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN:9783540489283
Lecture Notes in Computer Science 4735 Model Driven Engineering Languages and Systems 10th Internati
MODELS 20072007 年出版694 页ISBN:9783540752080
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN:3540287019