Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
A. Belinfante. Tools and Algorithms for the Construction and Analysis of Systems, 2010, Volume 6015 von Lecture Notes in Computer Science, Seite 266-270. Springer, (2010)
A. Boulis, A. Fehnker, M. Fruth, und A. McIver. QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, Seite 37--38. Washington, DC, USA, IEEE Computer Society, (2008)