Product Description
ISBN: 9783030001506
TITLE: Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4???6, 2018, Proceedings : 11022
AUTHOR: David N. Jansen
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 26 Aug 2018