Johannes Späth. Applications of Synchronized Pushdown Systems. In Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer, editors, Ernst Denert Award for Software Engineering 2019 - Practice Meets Foundations. pages 19-45, Springer, 2019. [doi]
@inproceedings{Spath19-0,
title = {Applications of Synchronized Pushdown Systems},
author = {Johannes Späth},
year = {2019},
doi = {10.1007/978-3-030-58617-1_3},
url = {https://doi.org/10.1007/978-3-030-58617-1_3},
researchr = {https://researchr.org/publication/Spath19-0},
cites = {0},
citedby = {0},
pages = {19-45},
booktitle = {Ernst Denert Award for Software Engineering 2019 - Practice Meets Foundations},
editor = {Michael Felderer and Wilhelm Hasselbring and Heiko Koziolek and Florian Matthes and Lutz Prechelt and Ralf H. Reussner and Bernhard Rumpe and Ina Schaefer},
publisher = {Springer},
isbn = {978-3-030-58617-1},
}