Matches in DBpedia 2016-04 for { <http://citeseer.ist.psu.edu/monniaux99decision.html> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- monniaux99decision.html date "1999".
- monniaux99decision.html first "David".
- monniaux99decision.html isCitedBy Burrows–Abadi–Needham_logic.
- monniaux99decision.html journal "Proceedings of The 12th Computer Security Foundations Workshop".
- monniaux99decision.html last "Monniaux".
- monniaux99decision.html title "Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief".
- monniaux99decision.html url monniaux99decision.html.