%0 Thesis %1 phd/dnb/Schmitz16a %A Schmitz, Malte %D 2016 %I Springer Vieweg %K dblp %P 1-163 %T Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse. %@ 978-3-658-12851-7

@phdthesis{phd/dnb/Schmitz16a, added-at = {2021-07-17T00:00:00.000+0200}, author = {Schmitz, Malte}, biburl = {https://www.bibsonomy.org/bibtex/2caa36e4fb6202b2608016b08617f91cd/dblp}, ee = {https://d-nb.info/1100310495}, interhash = {90d7d5e96cb3324c423ebf0dd6c0d98c}, intrahash = {caa36e4fb6202b2608016b08617f91cd}, isbn = {978-3-658-12851-7}, keywords = {dblp}, pages = {1-163}, publisher = {Springer Vieweg}, school = {University of Lübeck, Germany}, timestamp = {2024-04-09T08:37:51.000+0200}, title = {Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse.}, year = 2016 }