%0 Conference Paper %1 conf/fossacs/PetersN12 %A Peters, Kirstin %A Nestmann, Uwe %B FoSSaCS %D 2012 %E Birkedal, Lars %I Springer %K choice encoding mixed %P 210-224 %T Is It a "Good" Encoding of Mixed Choice? %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2012.html#PetersN12 %V 7213 %@ 978-3-642-28728-2

@inproceedings{conf/fossacs/PetersN12, added-at = {2015-01-16T11:01:48.000+0100}, author = {Peters, Kirstin and Nestmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2ee58582c8cc13b8e43dab2d0d63b3b93/mtv_test}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2012}, editor = {Birkedal, Lars}, ee = {http://dx.doi.org/10.1007/978-3-642-28729-9_14}, interhash = {8697081ac61effeaa8590b5f1eb2961b}, intrahash = {ee58582c8cc13b8e43dab2d0d63b3b93}, isbn = {978-3-642-28728-2}, keywords = {choice encoding mixed}, pages = {210-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2015-01-16T11:01:48.000+0100}, title = {Is It a "Good" Encoding of Mixed Choice?}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2012.html#PetersN12}, volume = 7213, year = 2012 }