TY  - BOOK
AU  - Katoen Joost-Pieter ed.
ED  - International AMAST Workshop, ARTS'99 on Formal Methods For Real-time And Probabilistic Systems (5th : 26-28 May 1999 : Bamberg,Germany)
ED  - International AMAST workshop, ARTS'99 on formal methods for real-time and probabilistic systems
TI  - Formal methods for real-time and probabilistic systems: proceedings
SN  - 3-540-66010-0
U1  - 5.273 
PY  - 1999///
CY  - Berlin
PB  - Springer-Verlag
KW  - Real-time computer systems
ER  -