%0 Conference Paper %1 conf/tacas/BloemCJK15 %A Bloem, Roderick %A Chatterjee, Krishnendu %A Jacobs, Swen %A Könighofer, Robert %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K %P 517-532 %T Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#BloemCJK15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/BloemCJK15, added-at = {2023-12-12T20:21:21.000+0100}, author = {Bloem, Roderick and Chatterjee, Krishnendu and Jacobs, Swen and Könighofer, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2a2e40a720275499c14143e355c7b44d7/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_50}, interhash = {2e11260e93015a1805f0cafb8deb81a9}, intrahash = {a2e40a720275499c14143e355c7b44d7}, isbn = {978-3-662-46680-3}, keywords = {}, pages = {517-532}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:21:21.000+0100}, title = {Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#BloemCJK15}, volume = 9035, year = 2015 }