Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Artificial Intelligence 4002 Finite-State Methods and Natural Language Processing 5
FSMNLP 20052006 年出版312 页ISBN:9783540354673
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN:3540297979