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

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

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	15261

Keywords

n/a OA procedure

Access to Document

10.1007/978-3-031-75775-4

2 Book editing

Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 13 Nov 2024, Springer. (Lecture Notes in Computer Science; vol. 15260)
Research output: Book/Report › Book editing › Academic
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 17 Nov 2024, Cham: Springer. (Lecture Notes in Computer Science; vol. 15262)
Research output: Book/Report › Book editing › Academic

Cite this

Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., & Volk, M. (Eds.) (2024). 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{85654cfdcce64208ac340bb54ce80c04,

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

keywords = "n/a OA procedure",

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 = "2024",

month = nov,

day = "12",

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, 2024. (Lecture Notes in Computer Science; Vol. 15261).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Principles of Verification: 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 - 2024/11/12

Y1 - 2024/11/12

KW - n/a OA procedure

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: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

PB - Springer

ER -

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

Publication series

Keywords

Access to Document

Research output

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

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

Cite this