%0 Conference Paper %1 conf/cav/KatzPS11 %A Katz, Gal %A Peled, Doron A. %A Schewe, Sven %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K %P 510-525 %T Synthesis of Distributed Control through Knowledge Accumulation. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#KatzPS11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/KatzPS11, added-at = {2023-12-12T21:32:47.000+0100}, author = {Katz, Gal and Peled, Doron A. and Schewe, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2ca887c318fe7985ec759fe5a9c86fc63/admin}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_41}, interhash = {3fcce1feb84e28eb80d4f41aa36b0317}, intrahash = {ca887c318fe7985ec759fe5a9c86fc63}, isbn = {978-3-642-22109-5}, keywords = {}, pages = {510-525}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:32:47.000+0100}, title = {Synthesis of Distributed Control through Knowledge Accumulation.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#KatzPS11}, volume = 6806, year = 2011 }