Jansen, Nils.

Overview

Works:	1 works in 6 publications in 1 languages

Titles

Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: Jansen, Nils.; SpringerLink (Online service); International Conference on the Quantitative Evaluation of Systems (2023 :); Tribastone, Mirco. (Electronic resources)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part II / by: Jansen, Nils.; SpringerLink (Online service); Katoen, Joost-Pieter. (Electronic resources)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part I / by: Jansen, Nils.; SpringerLink (Online service); Katoen, Joost-Pieter. (Electronic resources)

Principles of verification: cycling the probabilistic landscape = essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part III / by: Jansen, Nils.; SpringerLink (Online service) (Electronic resources)

A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: Jansen, Nils.; SpringerLink (Online service); Stoelinga, Marielle.; Vaandrager, Frits,; Bos, Petra van den. (Electronic resources)

Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: FORMATS (Conference) (2020 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service) (Electronic resources)

Subjects