%0 Conference Paper %1 conf/vmcai/ChatterjeeR12 %A Chatterjee, Krishnendu %A Raman, Vishwanath %B VMCAI %D 2012 %E Kuncak, Viktor %E Rybalchenko, Andrey %I Springer %K dblp %P 152-168 %T Synthesizing Protocols for Digital Contract Signing. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2012.html#ChatterjeeR12 %V 7148 %@ 978-3-642-27939-3

@inproceedings{conf/vmcai/ChatterjeeR12, added-at = {2017-05-24T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Raman, Vishwanath}, biburl = {https://www.bibsonomy.org/bibtex/227b88fced8daac5f038cdb504bb2bd57/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2012}, editor = {Kuncak, Viktor and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-27940-9_11}, interhash = {ccbad73429c89ac1426fbbf160e1aef8}, intrahash = {27b88fced8daac5f038cdb504bb2bd57}, isbn = {978-3-642-27939-3}, keywords = {dblp}, pages = {152-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:49.000+0200}, title = {Synthesizing Protocols for Digital Contract Signing.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2012.html#ChatterjeeR12}, volume = 7148, year = 2012 }