Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings

Joost-Pieter Katoen Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings ARTS Lecture Notes in Computer Science 1601 Springer 1999 3-540-66010-0 db/conf/arts/arts1999.html