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 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE
DSOM 20062006 年出版282 页ISBN：3540476598
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Computer Science 1549 Compiling Natural Semantics
1999 年出版240 页ISBN：3540659684
Lecture Notes in Computer Science 4601 Journal on Data Semantics IX
2007 年出版198 页ISBN：9783540749820
Lecture Notes in Computer Science 4380 Journal on Data Semantics VII
2007 年出版219 页ISBN：9783540706632
Lecture Notes in Computer Science 4090 Journal on Data Semantics VI
2006 年出版211 页ISBN：3540367128
Lecture Notes in Computer Science 3360 Journal on Data Semantics II
2005 年出版223 页ISBN：3540242082
Lecture Notes in Computer Science 4244 Jurnal on Data Semantics VII
2006 年出版267 页ISBN：3540463291
