Lecture Notes in Computer Science 4652 Service-Oriented Computing ICSOC 2006 4th International Confe
2007 年出版203 页ISBN:9783540754916
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715