[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 11750 (17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings) ||
André, Étienne, Stoelinga, MariëlleVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-29662-9
File:
PDF, 13.50 MB
2019