Jansen, Nils.

概要

作品:	3 作品在 4 項出版品 1 種語言

書目資訊

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) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

The making of legal authority = non-legislative codifications in historical and comparative perspective / by: Jansen, Nils. (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題