Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings: 9884 (Lecture Notes in Computer Science)
by Martin Fränzle, Nicolas Markey
ISBN 13: 9783319448770
Format: Paperback (260 pages) Publisher: Springer Published: 17 Aug 2016
Save for later