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: Berlin; London
Language: eng
Number of pages: 353
Subjects: Software engineering -- Congresses.; Abstract data types (Computer science) -- Congresses.
Notes: Includes bibliographical references and index.