@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 2019-12-11 with typo3 si_bibtex plugin. Data from /mtec/publications/2017-2013.html }