TY - BOOK AU - International Conference on Algebraic Methodology and Software Technology AU - Katoen, Joost-Pieter TI - Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings PB - Springer PY - 1999 T2 - Lecture notes in computer science VL - 1601 EP - x, 353 p. UR - https://ci.nii.ac.jp/ncid/BA41733913 SN - 3540660100 ER -