%0 Conference Paper %1 conf/post/BauerC016 %A Bauer, Matthew S. %A Chadha, Rohit %A Viswanathan, Mahesh %B POST %D 2016 %E Piessens, Frank %E Viganò, Luca %I Springer %K dblp %P 189-210 %T Composing Protocols with Randomized Actions. %U http://dblp.uni-trier.de/db/conf/post/post2016.html#BauerC016 %V 9635 %@ 978-3-662-49634-3

@inproceedings{conf/post/BauerC016, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bauer, Matthew S. and Chadha, Rohit and Viswanathan, Mahesh}, biburl = {https://www.bibsonomy.org/bibtex/2c1c340bb048ec76b7c7f6b51024433cc/dblp}, booktitle = {POST}, crossref = {conf/post/2016}, editor = {Piessens, Frank and Viganò, Luca}, ee = {https://doi.org/10.1007/978-3-662-49635-0_10}, interhash = {9615cfb6e2a4c2785bdcc51c9cd6b0df}, intrahash = {c1c340bb048ec76b7c7f6b51024433cc}, isbn = {978-3-662-49634-3}, keywords = {dblp}, pages = {189-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:23:15.000+0200}, title = {Composing Protocols with Randomized Actions.}, url = {http://dblp.uni-trier.de/db/conf/post/post2016.html#BauerC016}, volume = 9635, year = 2016 }