Product Description
ISBN: 9783319657646
TITLE: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5???7, 2017, Proceedings : 10419
AUTHOR: Alessandro Abate
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 3 Aug 2017

