David N. Jansen

Identifiers

Open LibraryOL7955336A

Books by David N. Jansen

Total count: 2

Formal Modeling and Analysis of Timed Systems16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Springer2018-08-26
Quantitative Evaluation of Systems17th International Conference, QEST 2020, Vienna, Austria, August 31-September 3, 2020, Proceedings

Springer International Publishing AG2020-01-01