Download Formal Methods For Real Time And Probabilistic Systems: 5Th International Amast Workshop, Arts’99 Bamberg, Germany, May 26–28, 1999 Proceedings