Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN:3540090045