Releases von J P Katoen

Cover for J P Katoen · Formal Methods for Real-time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings (International Amast Workshop, Arts '99, Bamberg, Germany, May 26-28, 1999 - Proceedings) - Lecture Notes in (Taschenbuch) (1999)
Taschenbuch
Formal Methods for Real-time and...
J P Katoen