Matches in DBpedia 2016-04 for { <http://www.mpi-sb.mpg.de/~weidenb/publications/cade99prot.ps.gz> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- cade99prot.ps.gz first "Christoph".
- cade99prot.ps.gz isCitedBy Neuman–Stubblebine_protocol.
- cade99prot.ps.gz last "Weidenbach".
- cade99prot.ps.gz place "Saarbrücken, Germany".
- cade99prot.ps.gz title "Towards an Automatic Analysis of Security Protocols in First-Order Logic".
- cade99prot.ps.gz url cade99prot.ps.gz.
- cade99prot.ps.gz year "1999".