@article{Quaas:LMCS:2015,
    Author = {Quaas, Karin},
    File = {1403.63030 (0) - a - a - r.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {September},
    Title = {{Verification for Timed Automata extended with Unbounded Discrete Data Structures}},
    URL = {https://lmcs.episciences.org/1596},
    Volume = {{Volume 11, Issue 3}},
    Year = {2015},
    bdsk-url-1 = {https://lmcs.episciences.org/1596},
    bdsk-url-2 = {https://doi.org/10.2168/LMCS-11(3:20)2015},
    date-added = {2018-06-19 05:31:20 +0000},
    date-modified = {2019-04-20 19:45:10 +0200},
    doi = {10.2168/LMCS-11(3:20)2015}
}

@article{Quaas:LMCS:2015, Author = {Quaas, Karin}, File = {1403.63030 (0) - a - a - r.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {September}, Title = {{Verification for Timed Automata extended with Unbounded Discrete Data Structures}}, URL = {https://lmcs.episciences.org/1596}, Volume = {{Volume 11, Issue 3}}, Year = {2015}, bdsk-url-1 = {https://lmcs.episciences.org/1596}, bdsk-url-2 = {https://doi.org/10.2168/LMCS-11(3:20)2015}, date-added = {2018-06-19 05:31:20 +0000}, date-modified = {2019-04-20 19:45:10 +0200}, doi = {10.2168/LMCS-11(3:20)2015} }