Formal methods for real-time and probabilistic systems proceedings - Katoen Joost-Pieter ed.; International AMAST Workshop, ARTS'99 on Formal Methods For Real-time And Probabilistic Systems (5th : 26-28 May 1999 : Bamberg,Germany); International AMAST workshop, ARTS'99 on formal methods for real-time and probabilistic systems Bamberg, Germany 26-28 May 1999 (Berlin Springer-Verlag, 1999)
Keywords: Real-time computer systems