Nils Jansen
- Auteur
Boeken van Nils Jansen
David Kästle-Lamparter
Nils Jansen
Reinhard Zimmermann
Juristische Kommentare: Ein internationaler Vergleich
Nils Jansen
Mariëlle Stoelinga
Petra van den Bos
A Journey from Process Algebra via Timed Automata to Model Learning
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
Meer
Nils Jansen
Nils Jansen
The Structure of Tort Law
The first English translation of a classic of German tort theory, this book analyses the theoretical foundations of tort law in historical and comparative perspective.
Meer
Nils Jansen
Mirco Tribastone
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.
Meer
Nils Jansen
Sebastian Junges
Benjamin Lucien Kaminski
Christoph Matheja
Thomas Noll
Tim Quatmann
Mariëlle Stoelinga
Marielle Stoelinga
Matthias Volk
Principles of Verification
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.
Meer