Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.scico.2005.02.002> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- j.scico.2005.02.002 doi "10.1016/j.scico.2005.02.002".
- j.scico.2005.02.002 first "Martin".
- j.scico.2005.02.002 first2 "Bruno".
- j.scico.2005.02.002 isCitedBy ProVerif.
- j.scico.2005.02.002 issue "1-2".
- j.scico.2005.02.002 journal "Science of Computer Programming".
- j.scico.2005.02.002 last "Abadi".
- j.scico.2005.02.002 last2 "Blanchet".
- j.scico.2005.02.002 pages "3–27".
- j.scico.2005.02.002 title "Computer-assisted verification of a protocol for certified email".
- j.scico.2005.02.002 volume "58".
- j.scico.2005.02.002 year "2005".