Open menu
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany)
Formal methods for real-time and probabilistic systems