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

International

von Jost-Pieter Katoen

Taschenbuch

ISBN-13: 978-3-662-19333-4

ISBN-10: 3-662-19333-7

Springer · 2014
S. auch:
2008TaschenbuchFormal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, Band 1601)