François Fages, Aurélien Rizk. On the Analysis of Numerical Data Time Series in Temporal Logic. In Muffy Calder, Stephen Gilmore, editors, Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Volume 4695 of Lecture Notes in Computer Science, pages 48-63, Springer, 2007. [doi]
@inproceedings{FagesR07,
title = {On the Analysis of Numerical Data Time Series in Temporal Logic},
author = {François Fages and Aurélien Rizk},
year = {2007},
doi = {10.1007/978-3-540-75140-3_4},
url = {http://dx.doi.org/10.1007/978-3-540-75140-3_4},
tags = {analysis, data-flow, logic, data-flow analysis},
researchr = {https://researchr.org/publication/FagesR07},
cites = {0},
citedby = {0},
pages = {48-63},
booktitle = {Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
editor = {Muffy Calder and Stephen Gilmore},
volume = {4695},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75139-7},
}