"Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th " - читать интересную книгу автора (Jost-Pieter Katoen)