David Cerna, Wolfgang Schreiner,
"Measuring the Gap: Alorithmic Approximation Bounds for the Space Complexity of Stream Specifications"
, in Mohamed Mosbah, Michael Rusinowitch: SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017, Serie EPiC series in computing, Vol. 45, Easy chair, Seite(n) 1-15, 4-2017, ISSN: 2398-7340
Original Titel:
Measuring the Gap: Alorithmic Approximation Bounds for the Space Complexity of Stream Specifications
Sprache des Titels:
Englisch
Original Buchtitel:
SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Original Kurzfassung:
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications
Forschungs-