ARTS'99 (Conference) (1999 Bamberg, Germany)

• Formal methods for real-time and probabilistic systems