%0 Journal Article %1 journals/mscs/RenardFRJM19 %A Renard, Matthieu %A Falcone, Yliès %A Rollet, Antoine %A Jéron, Thierry %A Marchand, Hervé %D 2019 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 169-214 %T Optimal enforcement of (timed) properties with uncontrollable events. %U http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#RenardFRJM19 %V 29

@article{journals/mscs/RenardFRJM19, added-at = {2020-04-01T00:00:00.000+0200}, author = {Renard, Matthieu and Falcone, Yliès and Rollet, Antoine and Jéron, Thierry and Marchand, Hervé}, biburl = {https://www.bibsonomy.org/bibtex/23a704f04159291302b682cd6c45a36e6/dblp}, ee = {https://doi.org/10.1017/S0960129517000123}, interhash = {9e94612d93b3737d21f339a5ac8d4ffa}, intrahash = {3a704f04159291302b682cd6c45a36e6}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {169-214}, timestamp = {2020-04-02T11:40:52.000+0200}, title = {Optimal enforcement of (timed) properties with uncontrollable events.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#RenardFRJM19}, volume = 29, year = 2019 }