@misc{indiciae9e768d17f501,
  title = {Montre: A Tool for Monitoring Timed Regular Expressions},
  author = {Dogan Ulus},
  year = {2017},
  doi = {10.1007/978-3-319-63387-9\_16},
  url = {https://arxiv.org/abs/1605.05963},
  note = {Source identifier: 1605.05963}
}