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

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 Ii. 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 II. 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 II. : Springer Nature, 2024.