Lecture Notes in Computer Science 3099 Application and Theory of Petri Nets 2004 25th International
ICATPN 20042004 年出版503 页ISBN:3540222367
Lecture Notes in Computer Science 3536 Application and Theory of Petri Nets 2005 26th International
ICATPN 20052005 年出版474 页ISBN:3540263012
Lecture Notes in Computer Science 3912 Active Networks IFIP TC6 6th International Working Conference
IWAN 20042007 年出版218 页ISBN:9783540714996
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN:3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN:354042525X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN: