%0 Conference Paper %1 conf/cis/Studer11 %A Studer, Thomas %B CIS %D 2011 %E Wang, Yuping %E ming Cheung, Yiu %E Guo, Ping %E Wei, Yingbin %I IEEE Computer Society %K dblp %P 779-783 %T An Application of Justification Logic to Protocol Verification. %U http://dblp.uni-trier.de/db/conf/cis/cis2011.html#Studer11 %@ 978-1-4577-2008-6

@inproceedings{conf/cis/Studer11, added-at = {2023-03-23T00:00:00.000+0100}, author = {Studer, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2ef36619afdc48cece9f5c4f32695456d/dblp}, booktitle = {CIS}, crossref = {conf/cis/2011}, editor = {Wang, Yuping and ming Cheung, Yiu and Guo, Ping and Wei, Yingbin}, ee = {https://doi.ieeecomputersociety.org/10.1109/CIS.2011.177}, interhash = {8ac5627c2d3985e2d783929948008b9e}, intrahash = {ef36619afdc48cece9f5c4f32695456d}, isbn = {978-1-4577-2008-6}, keywords = {dblp}, pages = {779-783}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:24:16.000+0200}, title = {An Application of Justification Logic to Protocol Verification.}, url = {http://dblp.uni-trier.de/db/conf/cis/cis2011.html#Studer11}, year = 2011 }