Quantitative Evaluation of SystemsMarco Gribaudo, David N. Jansen, Anne Remke · First published 2020Open the Tome
Formal Modeling and Analysis of Timed SystemsDavid N. Jansen, Pavithra Prabhakar · First published 2018Open the Tome
Current issues in investment treaty lawN. Jansen Calamita, David Earnest, Markus Burgstaller · First published 2013Open the Tome
