Search

You searched for: Auteur Matheja, Christoph Remove constraint Auteur: Matheja, Christoph
1 - 3 of 3
Number of results to display per page

Search Results

1. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
thumbnail
Full text!
Author:
Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Publisher:
Springer Nature 2024
Format:
e-book
2. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
thumbnail
Full text!
Author:
Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Publisher:
Springer Nature 2024
Format:
e-book
3. Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
thumbnail
Full text!
Author:
Jansen, Nils.; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Publisher:
Cham Springer 2024
Format:
e-book