%0 Conference Paper %1 conf/icalp/BartheGGHS16 %A Barthe, Gilles %A Gaboardi, Marco %A Grégoire, Benjamin %A Hsu, Justin %A Strub, Pierre-Yves %B ICALP %D 2016 %E Chatzigiannakis, Ioannis %E Mitzenmacher, Michael %E Rabani, Yuval %E Sangiorgi, Davide %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 107:1-107:15 %T A Program Logic for Union Bounds. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#BartheGGHS16 %V 55 %@ 978-3-95977-013-2

@inproceedings{conf/icalp/BartheGGHS16, added-at = {2020-06-15T00:00:00.000+0200}, author = {Barthe, Gilles and Gaboardi, Marco and Grégoire, Benjamin and Hsu, Justin and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/272b624b352a91c2bd08555b40bf9491c/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2016}, editor = {Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2016.107}, interhash = {0a027ed3165e9d8040ed17993bbf30b5}, intrahash = {72b624b352a91c2bd08555b40bf9491c}, isbn = {978-3-95977-013-2}, keywords = {dblp}, pages = {107:1-107:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-06-16T12:35:47.000+0200}, title = {A Program Logic for Union Bounds.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#BartheGGHS16}, volume = 55, year = 2016 }