@conference{CyPhy2018,
Author = {S. Lehmann and S.-T. Antoni and A. Schlaefer and S. Schupp
},
Title = {A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification.},
Year = {(2018).},
Month = {Oct 2018},
Address = {Torino, Italy},
Booktitle = {<em>Model-Based Design of Cyber Physical Systems (CyPhy'18)</em>}
}

@COMMENT{Bibtex file generated on 2026-5-10 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/mtec/publications/2019-2013 }