Jost-Pieter Katoen profile picture

Jost-Pieter Katoen

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

Stand Alone

Formal Methods for Real-Time and Probabilistic Systems
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings