A Journey from Process Algebra via Timed Automata to Model Learning 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년