Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
Commercial and Regulatory Challenges of QoS An Internet Service Model Perspective2008 年出版286 页ISBN:9780123736932
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN: