Henning Fernau, Petra Wolf 0002. Synchronization of Deterministic Visibly Push-Down Automata. In Nitin Saxena 0001, Sunil Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). Volume 182 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{Fernau020,
title = {Synchronization of Deterministic Visibly Push-Down Automata},
author = {Henning Fernau and Petra Wolf 0002},
year = {2020},
doi = {10.4230/LIPIcs.FSTTCS.2020.45},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.45},
researchr = {https://researchr.org/publication/Fernau020},
cites = {0},
citedby = {0},
booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)},
editor = {Nitin Saxena 0001 and Sunil Simon},
volume = {182},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-174-0},
}