%0 Conference Paper %1 conf/cdc/NilssonO14 %A Nilsson, Petter %A Ozay, Necmiye %B CDC %D 2014 %I IEEE %K dblp %P 6246-6253 %T Incremental synthesis of switching protocols via abstraction refinement. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2014.html#NilssonO14 %@ 978-1-4799-7746-8

@inproceedings{conf/cdc/NilssonO14, added-at = {2015-02-19T00:00:00.000+0100}, author = {Nilsson, Petter and Ozay, Necmiye}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/293c8ca7272ef50924a17c36c88b0fad7/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2014}, ee = {http://dx.doi.org/10.1109/CDC.2014.7040368}, interhash = {c3d9ad70e8f1ac4fb048e0539099a952}, intrahash = {93c8ca7272ef50924a17c36c88b0fad7}, isbn = {978-1-4799-7746-8}, keywords = {dblp}, pages = {6246-6253}, publisher = {IEEE}, timestamp = {2016-02-02T14:17:46.000+0100}, title = {Incremental synthesis of switching protocols via abstraction refinement.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2014.html#NilssonO14}, year = 2014 }