Nils Jansen

Quantitative Evaluation of Systems

٢٠٢٣

A Journey from Process Algebra via Timed Automata to Model Learning

٢٠٢٢

The Structure of Tort Law

٢٠٢١

Formal Modeling and Analysis of Timed Systems

٢٠٢٠

Commentaries on European Contract Laws

٢٠١٨