Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /

Bibliographic Details
Corporate Authors:	International AMAST Workshop, ARTS'99 Städtliche Volkshochschule in Bamberg, SpringerLink (Online service)
Other Authors:	Katoen, Joost-Pieter
Format:	Conference Proceeding eBook
Language:	English
Published:	New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1601.
Subjects:	Formal methods (Computer science) > Congresses. Real-time data processing > Congresses. Formal methods (Computer science) Real-time data processing. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Available Online