%0 Conference Paper %1 conf/esorics/JutlaR12 %A Jutla, Charanjit S. %A Roy, Arnab %B ESORICS %D 2012 %E Foresti, Sara %E Yung, Moti %E Martinelli, Fabio %I Springer %K dblp %P 573-590 %T Decision Procedures for Simulatability. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#JutlaR12 %V 7459 %@ 978-3-642-33166-4

@inproceedings{conf/esorics/JutlaR12, added-at = {2020-05-15T00:00:00.000+0200}, author = {Jutla, Charanjit S. and Roy, Arnab}, biburl = {https://www.bibsonomy.org/bibtex/23464273f5f92bc2599ce296b06f43862/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2012}, editor = {Foresti, Sara and Yung, Moti and Martinelli, Fabio}, ee = {https://doi.org/10.1007/978-3-642-33167-1_33}, interhash = {45cc37913f594b39dc4d3faa93f5e24f}, intrahash = {3464273f5f92bc2599ce296b06f43862}, isbn = {978-3-642-33166-4}, keywords = {dblp}, pages = {573-590}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-16T11:45:29.000+0200}, title = {Decision Procedures for Simulatability.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#JutlaR12}, volume = 7459, year = 2012 }