David N. Jansen

David N. Jansen

1 books in the database

Books

Formal Modeling and Analysis of Timed SystemsDavid N. Jansen

Formal Modeling and Analysis of Timed Systems

David N. Jansen · 2018

Co-authored books and collections

Books that list David N. Jansen among their authors but not as the lead author: co-written works, collections and compilations.

Quantitative Evaluation of SystemsMarco Gribaudo

Quantitative Evaluation of Systems

Marco Gribaudo · 2020