Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8711
Herausgegeben von Legay, Axel
Bozga, Marius
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 08月
- ISBN：9783319105116
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. x