Joost-Pieter Katoen profile picture

Joost-Pieter Katoen

Is this your author profile? Create an account to claim and customize it!

Stand Alone

CONCUR 2011 – Concurrency Theory
Formal Methods for Real-Time and Probabilistic Systems
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd
Foundations of Probabilistic Programming