Formal methods for real-time and probabilistic systems
Subtitle: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
By: Joost-Pieter Katoen (ed.).
Contributors: Katoen, Joost-Pieter.
Series: Lecture notes in computer science -- 1601
Publisher: Springer
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 353
Subjects: Formal methods (Computer science) -- Congresses.; Real-time data processing -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.