%0 Conference Paper %1 conf/csfw/BohlU13 %A Böhl, Florian %A Unruh, Dominique %B CSF %D 2013 %I IEEE Computer Society %K %P 257-271 %T Symbolic Universal Composability. %U http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#BohlU13 %@ 978-0-7695-5031-2

@inproceedings{conf/csfw/BohlU13, added-at = {2023-12-13T07:45:06.000+0100}, author = {Böhl, Florian and Unruh, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/273469406dec041fbd025027d9d127eb2/admin}, booktitle = {CSF}, crossref = {conf/csfw/2013}, ee = {https://www.wikidata.org/entity/Q62038925}, interhash = {bcbf3beeb3196216f7cb5e04c4350f7a}, intrahash = {73469406dec041fbd025027d9d127eb2}, isbn = {978-0-7695-5031-2}, keywords = {}, pages = {257-271}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:45:06.000+0100}, title = {Symbolic Universal Composability.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#BohlU13}, year = 2013 }