Henning Fernau, Martin Kutrib, Matthias Wendlandt. Self-verifying pushdown automata. In Rudolf Freund, Frantisek Mráz, Daniel Prusa, editors, Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. pages 103-117, Österreichische Computer Gesellschaft, 2017.
@inproceedings{FernauKW17,
title = {Self-verifying pushdown automata},
author = {Henning Fernau and Martin Kutrib and Matthias Wendlandt},
year = {2017},
researchr = {https://researchr.org/publication/FernauKW17},
cites = {0},
citedby = {0},
pages = {103-117},
booktitle = {Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017},
editor = {Rudolf Freund and Frantisek Mráz and Daniel Prusa},
publisher = {Österreichische Computer Gesellschaft},
isbn = {978-3-903035-18-8},
}