%0 Conference Paper %1 conf/fossacs/PetersN12 %A Peters, Kirstin %A Nestmann, Uwe %B FoSSaCS %D 2012 %E Birkedal, Lars %I Springer %K dblp %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 = {2018-11-02T00:00:00.000+0100}, author = {Peters, Kirstin and Nestmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2ee58582c8cc13b8e43dab2d0d63b3b93/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2012}, editor = {Birkedal, Lars}, ee = {https://doi.org/10.1007/978-3-642-28729-9_14}, interhash = {8697081ac61effeaa8590b5f1eb2961b}, intrahash = {ee58582c8cc13b8e43dab2d0d63b3b93}, isbn = {978-3-642-28728-2}, keywords = {dblp}, pages = {210-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:32:58.000+0200}, 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 }