On the Analysis of Numerical Data Time Series in Temporal Logic

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]

Abstract

Abstract is missing.