Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Book title Buchtitel
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Publisher Verlag
Springer
Place of publishing Erscheinungsort
Cham
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
15260