@Inproceedings{EPTCS73.2, author = {Peled, Doron and Schewe, Sven}, year = {2011}, title = {Practical Distributed Control Synthesis}, editor = {Yu, Fang and Wang, Chao}, booktitle = {{\rm Proceedings 13th International Workshop on} Verification of Infinite-State Systems, {\rm Taipei, Taiwan, 10th October 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {73}, publisher = {Open Publishing Association}, pages = {2-17}, doi = {10.4204/EPTCS.73.2}, }