%0 Conference Paper %1 conf/pst/DelgrandeHG10 %A Delgrande, James P. %A Hunter, Aaron %A Grote, Torsten %B PST %D 2010 %I IEEE %K dblp %P 39-45 %T On the representation and verification of cryptographic protocols in a theory of action. %U http://dblp.uni-trier.de/db/conf/pst/pst2010.html#DelgrandeHG10 %@ 978-1-4244-7551-3

@inproceedings{conf/pst/DelgrandeHG10, added-at = {2023-09-15T00:00:00.000+0200}, author = {Delgrande, James P. and Hunter, Aaron and Grote, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2ea73716a35bb16a1baf10d39bd255b0b/dblp}, booktitle = {PST}, crossref = {conf/pst/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/PST.2010.5593236}, interhash = {69d13db0174d24ae1cac755111a0fdc0}, intrahash = {ea73716a35bb16a1baf10d39bd255b0b}, isbn = {978-1-4244-7551-3}, keywords = {dblp}, pages = {39-45}, publisher = {IEEE}, timestamp = {2024-04-10T10:16:43.000+0200}, title = {On the representation and verification of cryptographic protocols in a theory of action.}, url = {http://dblp.uni-trier.de/db/conf/pst/pst2010.html#DelgrandeHG10}, year = 2010 }