@inproceedings{UFA+6,
title = { Online Timed Pattern Matching Using Derivatives },
author = {Ulus, Dogan and Ferr\'ere, Thomas and Asarin, Eugene and Maler, Oded},
year = {2016},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software},
pages = {736--751},
team = {TEMPO},
}
