@conference{aufsatz74250,
    affiliation = {Grundlagen der Programmierung},
    title = {Approximation of Weighted Automata with Storage},
    journal = {Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)},
    keywords = {automata, storage, approximation},
    year = {2017},
    peerreview = {Ja},
    openaccess = {Nein},
    volume = {256},
    doi = {doi:10.4204/EPTCS.256.7},
    author = {Denkinger, Tobias}
}