Making of Legal Authority Non-legislative Codifications in Historical and Comparative Perspective Jansen Nils Innbundet / 2010 / Engelsk
Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings Bertrand, Nathalie Heftet / 2020 / Engelsk
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings Jansen Nils Heftet / 2023 / Engelsk
Journey from Process Algebra via Timed Automata to Model Learning Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday Jansen Nils Heftet / 2022 / Engelsk
