@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33131556
|
|
|