Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9884Publisher: Cham : Springer, 2016Description: Online-Ressource (XII, 245 p. 67 illus, online resource)ISBN:- 9783319448787
- QA75.5-76.95
No physical items for this record