![]() |
von Jost-Pieter KatoenTaschenbuch
ISBN: 978-3-540-66010-1 ISBN-10: 3-540-66010-0 Springer · 2008 |
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 |