Matches in Wikidata for { <http://www.wikidata.org/entity/Q115013028> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q115013028 description "2003 nî lūn-bûn" @default.
- Q115013028 description "2003年の論文" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年学术文章" @default.
- Q115013028 description "2003年學術文章" @default.
- Q115013028 description "2003年學術文章" @default.
- Q115013028 description "2003年學術文章" @default.
- Q115013028 description "2003年學術文章" @default.
- Q115013028 description "2003年學術文章" @default.
- Q115013028 description "2003년 논문" @default.
- Q115013028 description "article científic" @default.
- Q115013028 description "article scientific" @default.
- Q115013028 description "article scientifique" @default.
- Q115013028 description "articol științific" @default.
- Q115013028 description "articolo scientifico" @default.
- Q115013028 description "artigo científico" @default.
- Q115013028 description "artigo científico" @default.
- Q115013028 description "artigo científico" @default.
- Q115013028 description "artikel ilmiah" @default.
- Q115013028 description "artikull shkencor" @default.
- Q115013028 description "artikulong pang-agham" @default.
- Q115013028 description "artykuł naukowy" @default.
- Q115013028 description "artículo científico publicado en 2003" @default.
- Q115013028 description "artículu científicu espublizáu en 2003" @default.
- Q115013028 description "bilimsel makale" @default.
- Q115013028 description "bài báo khoa học" @default.
- Q115013028 description "naučni članak" @default.
- Q115013028 description "scienca artikolo" @default.
- Q115013028 description "scientific article published in 2003" @default.
- Q115013028 description "scientific article published in December 2003" @default.
- Q115013028 description "scientific article published in December 2003" @default.
- Q115013028 description "teaduslik artikkel" @default.
- Q115013028 description "tieteellinen artikkeli" @default.
- Q115013028 description "tudományos cikk" @default.
- Q115013028 description "vedecký článok" @default.
- Q115013028 description "vetenskaplig artikel" @default.
- Q115013028 description "videnskabelig artikel udgivet december 2003" @default.
- Q115013028 description "vitenskapelig artikkel" @default.
- Q115013028 description "vitskapeleg artikkel" @default.
- Q115013028 description "vědecký článek" @default.
- Q115013028 description "wetenschappelijk artikel" @default.
- Q115013028 description "wissenschaftlicher Artikel" @default.
- Q115013028 description "επιστημονικό άρθρο" @default.
- Q115013028 description "мақолаи илмӣ" @default.
- Q115013028 description "наукова стаття, опублікована в грудні 2003" @default.
- Q115013028 description "научна статия" @default.
- Q115013028 description "научная статья" @default.
- Q115013028 description "научни чланак" @default.
- Q115013028 description "научни чланак" @default.
- Q115013028 description "מאמר מדעי" @default.
- Q115013028 description "مقالة بحثية نشرت في ديسمبر 2003" @default.
- Q115013028 description "ডিসেম্বর ২০০৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q115013028 description "บทความทางวิทยาศาสตร์" @default.
- Q115013028 description "სამეცნიერო სტატია" @default.
- Q115013028 name "Formal verification: an imperative step in the design of security protocols" @default.
- Q115013028 type Item @default.
- Q115013028 label "Formal verification: an imperative step in the design of security protocols" @default.
- Q115013028 prefLabel "Formal verification: an imperative step in the design of security protocols" @default.
- Q115013028 P1433 Q115013028-4051515E-9E42-4F71-9E3C-652E25AF706A @default.
- Q115013028 P1476 Q115013028-227BE21B-698A-4E3A-8E6B-1DC38C0B9AC5 @default.
- Q115013028 P2093 Q115013028-2BBEB399-5653-45F9-AF7C-0D677BD2329A @default.
- Q115013028 P2093 Q115013028-87012BC7-9893-41E5-A76E-CA4DED368B8A @default.
- Q115013028 P2093 Q115013028-921765F4-5B23-4CB9-ABCA-DFAB7AEDC2B2 @default.
- Q115013028 P304 Q115013028-E8A3C396-9609-4338-86E1-EA6A6DCBEFF1 @default.
- Q115013028 P31 Q115013028-A98A564F-95B6-40EF-A7C2-B218E5102B3A @default.
- Q115013028 P356 Q115013028-CCE7BB5A-9185-4F8D-BBE1-E4ABB30CB34E @default.
- Q115013028 P433 Q115013028-3D6080D5-E67C-4669-9CEE-D370E11B4D0B @default.
- Q115013028 P478 Q115013028-FF8E1DE3-7EE9-4AD5-BF4E-C144560286FB @default.
- Q115013028 P577 Q115013028-5062D192-F967-4D82-BCCF-7F4F4C511501 @default.
- Q115013028 P6104 Q115013028-42F07F60-9714-4FEE-B7FC-98BE0C9D091C @default.
- Q115013028 P894 Q115013028-59C0DF34-3587-48EC-B4FD-B3A1EDC12932 @default.
- Q115013028 P356 S1389-1286(03)00292-5 @default.
- Q115013028 P1433 Q5157456 @default.
- Q115013028 P1476 "Formal verification: an imperative step in the design of security protocols" @default.
- Q115013028 P2093 "Reiner Dojen" @default.
- Q115013028 P2093 "Tom Coffey" @default.
- Q115013028 P2093 "Tomas Flanagan" @default.
- Q115013028 P304 "601-618" @default.
- Q115013028 P31 Q13442814 @default.
- Q115013028 P356 "10.1016/S1389-1286(03)00292-5" @default.
- Q115013028 P433 "5" @default.
- Q115013028 P478 "43" @default.
- Q115013028 P577 "2003-12-01T00:00:00Z" @default.
- Q115013028 P6104 Q8487137 @default.
- Q115013028 P894 "1078.68551" @default.