5. ARTS 1999: Bamberg, Germany

Refine list

showing all ?? records

Invited Lecture

Verification of Probabilistic Systems

Model Checking Probabilistic Systems

Semantics of Probabilistic Process Calculi

Invited Lecture

Semantics of Real-Time Processes

Real-Time Compilation

Stochastic Process Algebra

Invited Lecture

Modeling and Verification of Real-Time Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics