@conference{aufsatz65677,
    affiliation = {Grundlagen der Programmierung},
    title = {A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem},
    journal = {Proceedings of the 10th International Conference on Language and Automata Theory and Applications},
    keywords = {MSO logic, automata with storage, Büchi},
    pages = {127--139},
    publisher = {Springer},
    isbn = {978-3-319-29999-0},
    issn = {0302-9743},
    year = {2016},
    peerreview = {Ja},
    openaccess = {Nein},
    volume = {9618},
    doi = {doi:10.1007/978-3-319-30000-9_10},
    author = {Vogler, Heiko and Droste, Manfred and Herrmann, Luisa}
}