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

Full text!
Format:
e-book
Title:
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author:
Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Language:
English
Publisher:
Springer Nature 2024
ISBN:
3-031-75774-2
3-031-75775-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:36549185300041?locale=en