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]
Abstract is missing.