Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga; Matthias Volk

doi:10.1007/978-3-031-75775-4

Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Nils Jansen (Editor)
, Sebastian Junges (Editor)
, Benjamin Lucien Kaminski (Editor)
, Christoph Matheja (Editor)
, Thomas Noll (Editor)
, Tim Quatmann (Editor)
, Mariëlle Stoelinga (Editor)
, Matthias Volk (Editor)

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-031-75775-4
ISBN (Print)	978-3-031-75774-7
DOIs	https://doi.org/10.1007/978-3-031-75775-4
Publication status	Published - 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	15261
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-031-75775-4

Cite this

Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., & Volk, M. (Eds.) (2025). Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. (Lecture Notes in Computer Science; Vol. 15261). Springer. https://doi.org/10.1007/978-3-031-75775-4

@book{a6f23081e3c649a3bbd9bf530454d81c,

title = "Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II",

editor = "Nils Jansen and Sebastian Junges and Kaminski, \{Benjamin Lucien\} and Christoph Matheja and Thomas Noll and Tim Quatmann and Mari{\"e}lle Stoelinga and Matthias Volk",

year = "2025",

doi = "10.1007/978-3-031-75775-4",

language = "English",

isbn = "978-3-031-75774-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. / Jansen, Nils (Editor); Junges, Sebastian (Editor); Kaminski, Benjamin Lucien (Editor) et al.
Springer, 2025. (Lecture Notes in Computer Science; Vol. 15261).

Research output: Book/Report › Book editing › Academic › peer-review

TY - BOOK

T1 - Principles of Verification

T2 - Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

A2 - Jansen, Nils

A2 - Junges, Sebastian

A2 - Kaminski, Benjamin Lucien

A2 - Matheja, Christoph

A2 - Noll, Thomas

A2 - Quatmann, Tim

A2 - Stoelinga, Mariëlle

A2 - Volk, Matthias

PY - 2025

Y1 - 2025

U2 - 10.1007/978-3-031-75775-4

DO - 10.1007/978-3-031-75775-4

M3 - Book editing

SN - 978-3-031-75774-7

T3 - Lecture Notes in Computer Science

BT - Principles of Verification

PB - Springer

ER -