Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami. Checking Metric Temporal Logic with TRACE. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 19-24, IEEE Computer Society, 2016. [doi]
@inproceedings{HendriksGBBAG16,
title = {Checking Metric Temporal Logic with TRACE},
author = {Martijn Hendriks and Marc Geilen and Amir R. B. Behrouzian and Twan Basten and Hadi Alizadeh Ara and Dip Goswami},
year = {2016},
doi = {10.1109/ACSD.2016.13},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.13},
researchr = {https://researchr.org/publication/HendriksGBBAG16},
cites = {0},
citedby = {0},
pages = {19-24},
booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
editor = {Jörg Desel and Alex Yakovlev},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-2589-3},
}