Keyword:Stream Monitoring

Publications
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications David Cerna and Wolfgang Schreiner In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017