A Journey from Process Algebra via Timed Automata to Model Learning Sách Khác Của Nils Jansen, Mariëlle Stoelinga & Petra van den Bos

Quantitative Evaluation of Systems

2023

The Structure of Tort Law

2021

Formal Modeling and Analysis of Timed Systems

2020

Commentaries on European Contract Laws

2018