Nils Jansen

Sách
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2023
A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning
2022
The Structure of Tort Law The Structure of Tort Law
The Structure of Tort Law
2021
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2020
Commentaries on European Contract Laws Commentaries on European Contract Laws
Commentaries on European Contract Laws
2018