Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999

А3.45, А3.54, Б3.5, Б2.2.

Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999Ed. by Katoen J. -P..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1601.-355 p.-(Lecture Notes in Computer Science).