%0 Conference Paper %1 conf/lics/Halpern13 %A Halpern, Joseph Y. %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 2-3 %T From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#Halpern13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/Halpern13, added-at = {2025-01-19T00:00:00.000+0100}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/294985485ad7003d84ccdbaa392b1e5ac/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {https://www.wikidata.org/entity/Q130877258}, interhash = {b29c37cbe8f5d117e1bdc3f2597f3135}, intrahash = {94985485ad7003d84ccdbaa392b1e5ac}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = {2-3}, publisher = {IEEE Computer Society}, timestamp = {2025-01-27T11:47:05.000+0100}, title = {From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#Halpern13}, year = 2013 }