Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/abs-2007-05795
%A Goorden, Martijn A.
%A van de Mortel-Fronczak, Joanna M.
%A Reniers, Michel A.
%A Fabian, Martin
%A Fokkink, Wan J.
%A Rooda, Jacobus E.
%D 2020
%J CoRR
%K dblp
%T Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.
%U http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-05795
%V abs/2007.05795
@article{journals/corr/abs-2007-05795,
added-at = {2020-08-03T00:00:00.000+0200},
author = {Goorden, Martijn A. and van de Mortel-Fronczak, Joanna M. and Reniers, Michel A. and Fabian, Martin and Fokkink, Wan J. and Rooda, Jacobus E.},
biburl = {https://www.bibsonomy.org/bibtex/23fe7d6487a969c55952e1bdc60d63bc2/dblp},
ee = {https://arxiv.org/abs/2007.05795},
interhash = {7fc31ba38c6c8ff5a28710dca2d4a051},
intrahash = {3fe7d6487a969c55952e1bdc60d63bc2},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-08-04T11:41:04.000+0200},
title = {Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-05795},
volume = {abs/2007.05795},
year = 2020
}