Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/deds/HulstRF17
%A van Hulst, A. C.
%A Reniers, Michel A.
%A Fokkink, Wan J.
%D 2017
%J Discrete Event Dynamic Systems
%K dblp
%N 1
%P 109-142
%T Maximally permissive controlled system synthesis for non-determinism and modal logic.
%U http://dblp.uni-trier.de/db/journals/deds/deds27.html#HulstRF17
%V 27
@article{journals/deds/HulstRF17,
added-at = {2019-09-25T00:00:00.000+0200},
author = {van Hulst, A. C. and Reniers, Michel A. and Fokkink, Wan J.},
biburl = {https://www.bibsonomy.org/bibtex/23cf8566a482c7ca5222eb9d351f6dd2e/dblp},
ee = {https://www.wikidata.org/entity/Q59519582},
interhash = {5e65b2b2d2fc8f20d8275c2d563180dc},
intrahash = {3cf8566a482c7ca5222eb9d351f6dd2e},
journal = {Discrete Event Dynamic Systems},
keywords = {dblp},
number = 1,
pages = {109-142},
timestamp = {2019-09-26T11:39:00.000+0200},
title = {Maximally permissive controlled system synthesis for non-determinism and modal logic.},
url = {http://dblp.uni-trier.de/db/journals/deds/deds27.html#HulstRF17},
volume = 27,
year = 2017
}