by Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
Reference:
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata (Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch), In 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014 (Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, eds.), International Federation of Automatic Control, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/wodes/SchneiderSNR14,
author = {Sven Schneider and
Anne{-}Kathrin Schmuck and
Uwe Nestmann and
J{\"{o}}rg Raisch},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Reducing an Operational Supervisory Control Problem by Decomposition
for Deterministic Pushdown Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {214--221},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00057},
doi = {10.3182/20140514-3-FR-4046.00057},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchneiderSNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}