Quantitative Evaluation of Systems Quantitative Evaluation of Systems
٢٠٢٣
A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning
٢٠٢٢
The Structure of Tort Law The Structure of Tort Law
٢٠٢١
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
٢٠٢٠
Commentaries on European Contract Laws Commentaries on European Contract Laws
٢٠١٨