%0 Journal Article %1 journals/deds/AtamporeDR19 %A Atampore, Francis %A Dingel, Juergen %A Rudie, Karen %D 2019 %J Discrete Event Dynamic Systems %K dblp %N 3 %P 297-365 %T A controller synthesis framework for automated service composition. %U http://dblp.uni-trier.de/db/journals/deds/deds29.html#AtamporeDR19 %V 29

@article{journals/deds/AtamporeDR19, added-at = {2019-11-26T00:00:00.000+0100}, author = {Atampore, Francis and Dingel, Juergen and Rudie, Karen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/222f6c0f3b7d172170af421b8eaa61314/dblp}, ee = {https://doi.org/10.1007/s10626-019-00282-0}, interhash = {9ba3cd5a65f307b930d91278dd59cd44}, intrahash = {22f6c0f3b7d172170af421b8eaa61314}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 3, pages = {297-365}, timestamp = {2019-12-11T12:45:52.000+0100}, title = {A controller synthesis framework for automated service composition.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds29.html#AtamporeDR19}, volume = 29, year = 2019 }