Title: Formal methods for real-time and probabilistic systems
Subtitle: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
First published: 1999
Subjects: Congresses, Formal methods (Computer science), Real-time data processing
LC classification: QA76.9.F67 I577 1999