Jansen, Nils.

Overview

Works:	3 works in 4 publications in 1 languages

Titles

Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: Jansen, Nils.; Tribastone, Mirco.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)

A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by: van den Bos, Petra.; Stoelinga, Mariëlle.; SpringerLink (Online service); Jansen, Nils. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

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

The making of legal authority = non-legislative codifications in historical and comparative perspective / by: Jansen, Nils. (Language materials, printed)

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

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

Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by: Jansen, Nils.; SpringerLink (Online service); Bertrand, Nathalie. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Subjects