Home › Authors › International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) 👤 International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) 1 book Books by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) Formal methods for real-time and probabilistic systems 1999
