%0 Conference Paper %1 conf/tacas/GodefroidY13 %A Godefroid, Patrice %A Yannakakis, Mihalis %B TACAS %D 2013 %E Piterman, Nir %E Smolka, Scott A. %I Springer %K dblp %P 214-229 %T Analysis of Boolean Programs. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#GodefroidY13 %V 7795 %@ 978-3-642-36741-0

@inproceedings{conf/tacas/GodefroidY13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Godefroid, Patrice and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2c3b1ebbfd9d26d973be24a224eb943ca/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2013}, editor = {Piterman, Nir and Smolka, Scott A.}, ee = {https://doi.org/10.1007/978-3-642-36742-7_16}, interhash = {22118ef37b3cfd90a4052fef1cb34168}, intrahash = {c3b1ebbfd9d26d973be24a224eb943ca}, isbn = {978-3-642-36741-0}, keywords = {dblp}, pages = {214-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:55.000+0200}, title = {Analysis of Boolean Programs.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#GodefroidY13}, volume = 7795, year = 2013 }