Article,
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
Y. Alrahman, V. Braberman, N. D'Ippolito, N. Piterman, and S. Uchitel.CoRR, (2020)
Meta data
- BibTeX key
- journals/corr/abs-2009-05554
- entry type
- article
- year
- 2020
- journal
- CoRR
- volume
- abs/2009.05554
- ee
- https://arxiv.org/abs/2009.05554
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-05554
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2009-05554
%A Alrahman, Yehia Abd
%A Braberman, Víctor A.
%A D'Ippolito, Nicolás
%A Piterman, Nir
%A Uchitel, Sebastián
%D 2020
%J CoRR
%K dblp
%T Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-05554
%V abs/2009.05554
@article{journals/corr/abs-2009-05554,
added-at = {2020-09-18T00:00:00.000+0200},
author = {Alrahman, Yehia Abd and Braberman, Víctor A. and D'Ippolito, Nicolás and Piterman, Nir and Uchitel, Sebastián},
biburl = {https://www.bibsonomy.org/bibtex/24113f5e6dc2b361ef647834306df46de/dblp},
ee = {https://arxiv.org/abs/2009.05554},
interhash = {792f1bcba148358f3de0cc92d38f4fca},
intrahash = {4113f5e6dc2b361ef647834306df46de},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-09-19T11:43:27.000+0200},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-05554},
volume = {abs/2009.05554},
year = 2020
}