Formal methods for real-time and probabilistic systems /

Bibliographic Details
Corporate Author: International AMAST Workshop, ARTS'99 Bamberg, Germany
Other Authors: Katoen, Joost-Pieter, 1964- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1999.
Series:Lecture notes in computer science ; v. 1601
LNCS ; v. 1601
Subjects: