Schmitz, M. (2016). Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse. Springer Fachmedien Wiesbaden. https://doi.org/10.1007/978-3-658-12852-4
Chicago-Zitierstil (17. Ausg.)Schmitz, Malte. Verteilte Laufzeitverifikation Auf Eingebetteten Systemen: Logiken Und Monitorkonstruktionen Für Asynchrone Prozesse. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. https://doi.org/10.1007/978-3-658-12852-4.
MLA-Zitierstil (9. Ausg.)Schmitz, Malte. Verteilte Laufzeitverifikation Auf Eingebetteten Systemen: Logiken Und Monitorkonstruktionen Für Asynchrone Prozesse. Springer Fachmedien Wiesbaden, 2016. https://doi.org/10.1007/978-3-658-12852-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.