@inproceedings{HaslbeckN-TACAS18,
author={Maximilian Paul Louis Haslbeck and Tobias Nipkow},
title={Hoare Logics for Time Bounds},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018)},
editor={M. Huisman and D. Beyer},
publisher={Springer},series={LNCS},year=2018,note={To appear.}}

