@inproceedings{Cerny_HRRT_14, address = {Vienna, Austria}, author = {Cerny, Pavol and Henzinger, Thomas and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten}, booktitle = { International Conference on Computer Aided Verification}, keywords = {synthesis for concurrency, termite, device drivers, termite}, month = jul, paperurl = {https://trustworthy.systems/publications/nicta_full_text/7896.pdf}, title = {Regression-free Synthesis for Concurrency}, year = {2014} }