Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Commentaries on European Contract Laws

The Making of Legal Authority: Non-Legislative Codifications in Historical and Comparative Perspective

The Structure of Tort Law

Historisch-Kritischer Kommentar Zum Bgb: Band II: Schuldrecht. Allgemeiner Teil. 1. Teilband: VOR 241 - 304. 2. Teilband: 305-432

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings