Product Description
ISBN: 9783030296636
TITLE: Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
AUTHOR: Andre Etienne Andre
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 15 Aug 2019