@inproceedings{9dacd091759a4d05ba104739ed9ff245,
title = "Measuring the Gap: Alorithmic Approximation Bounds for the Space Complexity of Stream Specifications",
abstract = "Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications",
author = "David Cerna and Wolfgang Schreiner",
year = "2017",
month = apr,
language = "English",
volume = "45",
series = "EPiC series in computing",
publisher = "Easy Chair",
pages = "1--15",
editor = "\{Mohamed Mosbah, Michael Rusinowitch\}",
booktitle = "SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017",
}