by Sven Schneider, Uwe Nestmann
Reference:
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata (Sven Schneider, Uwe Nestmann), In CoRR, volume abs/1403.5081, 2014.
Bibtex Entry:
@article{DBLP:journals/corr/SchneiderN14,
author = {Sven Schneider and
Uwe Nestmann},
title = {Enforcing Operational Properties including Blockfreeness for Deterministic
Pushdown Automata},
journal = {CoRR},
volume = {abs/1403.5081},
year = {2014},
url = {http://arxiv.org/abs/1403.5081},
archivePrefix = {arXiv},
eprint = {1403.5081},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}