Formal 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 (1601), Band 1601)

von Jost-Pieter Katoen

Taschenbuch

ISBN: 978-3-540-66010-1

ISBN-10: 3-540-66010-0

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