Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 9268Publisher: Cham [u.a.] : Springer, 2015Edition: 1st ed. 2015Description: Online-Ressource (X, 321 p. 90 illus, online resource)ISBN:- 9783319229751
- QA75.5-76.95
No physical items for this record