@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 = {Model-Based Design of Cyber Physical Systems (CyPhy'18)}
}

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