Nils Jansen
Nils Jansen (born 30 March 1959 in Haugesund, Norway) is a Norwegian jazz musician (saxophone and clarinet), known from several recordings and jazz orchestras. Provided by Wikipedia-
1
Quantitative evaluation of systems 20th international conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, proceedings
Published 2023Other Authors: “…Jansen, Nils 1982-…”
Get full text Get full text
Electronic Conference Proceeding eBook -
2
Formal modeling and analysis of timed systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings
Published 2020Other Authors: Get full text
Electronic Conference Proceeding eBook -
3
A journey from process algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
Published 2022Other Authors: “…Jansen, Nils 1982-…”
Get full text Get full text
Electronic eBook -
4
Principles of verification: cycling the probabilistic landscape essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, part III
Published 2025Other Authors: “…Jansen, Nils 1982-…”
Get full text Get full text
Electronic eBook -
5
Principles of verification: cycling the probabilistic landscape essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, part I
Published 2025Other Authors: “…Jansen, Nils 1982-…”
Get full text Get full text
Electronic eBook -
6
Principles of verification: cycling the probabilistic landscape essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, part II
Published 2025Other Authors: “…Jansen, Nils 1982-…”
Get full text Get full text
Electronic eBook -
7
Quantitative evaluation of systems 20th international conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings
Published 2023Other Authors: “…Jansen, Nils 1982-…”