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

MLA

Nils Jansen, et al. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-pieter Katoen On the Occasion of His 60th Birthday, Part I. Springer Nature, 2024.

APA

Nils Jansen, N. Jansen, Junges, S., Kaminski, B. Lucien, Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., & Volk, M. (2024). Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Springer Nature.

Chicago

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, and Matthias Volk. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen On the Occasion of His 60th Birthday, Part I. : Springer Nature, 2024.