%0 Journal Article %1 journals/sttt/TalyGT11 %A Taly, Ankur %A Gulwani, Sumit %A Tiwari, Ashish %D 2011 %J STTT %K dblp %N 6 %P 519-535 %T Synthesizing switching logic using constraint solving. %U http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#TalyGT11 %V 13

@article{journals/sttt/TalyGT11, added-at = {2019-11-06T00:00:00.000+0100}, author = {Taly, Ankur and Gulwani, Sumit and Tiwari, Ashish}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/262ec2e9eb8ed9ad5c009dbc53d798b9e/dblp}, ee = {https://doi.org/10.1007/s10009-010-0172-8}, interhash = {7df9500eb24af8739f19308c0c0a9736}, intrahash = {62ec2e9eb8ed9ad5c009dbc53d798b9e}, journal = {STTT}, keywords = {dblp}, number = 6, pages = {519-535}, timestamp = {2019-11-26T07:49:58.000+0100}, title = {Synthesizing switching logic using constraint solving.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#TalyGT11}, volume = 13, year = 2011 }