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

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

doi:10.1007/978-3-031-75778-5

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

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-75778-5
ISBN (Print)	978-3-031-75777-8
DOIs	https://doi.org/10.1007/978-3-031-75778-5
Publication status	Published - 2025

Publication series

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

Access to Document

10.1007/978-3-031-75778-5

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 III. (Lecture Notes in Computer Science; Vol. 15262). Springer. https://doi.org/10.1007/978-3-031-75778-5

@book{99016994221449eeaa67e28f56aa0faf,

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

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-75778-5",

language = "English",

isbn = "978-3-031-75777-8",

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 III. / Jansen, Nils (Editor); Junges, Sebastian (Editor); Kaminski, Benjamin Lucien (Editor) et al.
Springer, 2025. (Lecture Notes in Computer Science; Vol. 15262).

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 III

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-75778-5

DO - 10.1007/978-3-031-75778-5

M3 - Book editing

SN - 978-3-031-75777-8

T3 - Lecture Notes in Computer Science

BT - Principles of Verification

PB - Springer

ER -