@inproceedings{dd69ac767c01414fb236504ec5c7e6f7,
title = "On the complexity of timed pattern matching",
author = "Eugene Asarin and Thomas Ferr{\`e}re and Dejan Nickovic and Dogan Ulus",
year = "2021",
doi = "10.1007/978-3-030-85037-1_2",
language = "English",
isbn = "978-3-030-85036-4",
pages = "15--31",
booktitle = "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings",
publisher = "Springer",
address = "Germany",
note = "FORMATS'21 ; Conference date: 24-08-2021 Through 26-08-2021",
}