Skip to content
Vinony

Joost-Pieter Katoen

No biography available.

Works (4)

Cover of ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
Cover of Formal Methods for Real-Time and Probabilistic Systems
Formal Methods for Real-Time and Probabilistic Systems
Cover of Validation of stochastic systems
Validation of stochastic systems
Cover of CONCUR 2011 – Concurrency Theory
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen — author · Vinony