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

Original language	English
Place of Publication	Cham
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 - 17 Nov 2024

Publication series

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

Keywords

n/a OA procedure

Access to Document

10.1007/978-3-031-75778-5

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

@book{459860646f2a4d5d822cea8c96e3fb3c,

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

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

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

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 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 - 2024/11/17

Y1 - 2024/11/17

KW - n/a OA procedure

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

PB - Springer

CY - Cham

ER -