@inproceedings{Ulu7,
title = {Montre: {A} Tool for Monitoring Timed Regular Expressions },
author = {Ulus, Dogan},
year = {2017},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
pages = {329--335},
team = {TEMPO},
}