%0 Conference Paper %1 conf/concur/BaierKK11 %A Baier, Christel %A Klein, Joachim %A Klüppelholz, Sascha %B CONCUR %D 2011 %E Katoen, Joost-Pieter %E König, Barbara %I Springer %K %P 512-527 %T A Compositional Framework for Controller Synthesis. %U http://dblp.uni-trier.de/db/conf/concur/concur2011.html#BaierKK11 %V 6901 %@ 978-3-642-23216-9

@inproceedings{conf/concur/BaierKK11, added-at = {2023-12-13T00:58:01.000+0100}, author = {Baier, Christel and Klein, Joachim and Klüppelholz, Sascha}, biburl = {https://www.bibsonomy.org/bibtex/22d10e01cac9cb24fb6864738754e5c98/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2011}, editor = {Katoen, Joost-Pieter and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-23217-6_34}, interhash = {6aef768dec9e4f853c31bb6a539eb5a8}, intrahash = {2d10e01cac9cb24fb6864738754e5c98}, isbn = {978-3-642-23216-9}, keywords = {}, pages = {512-527}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:58:01.000+0100}, title = {A Compositional Framework for Controller Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2011.html#BaierKK11}, volume = 6901, year = 2011 }