MPG.eBooks - Author Search Results

Cover Image

1

Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Jansen, David N....”

Cover Image

2

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Jansen, David N....”