Matches in Wikidata for { <http://www.wikidata.org/entity/Q114925544> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q114925544 description "2009 nî lūn-bûn" @default.
- Q114925544 description "2009年の論文" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年学术文章" @default.
- Q114925544 description "2009年學術文章" @default.
- Q114925544 description "2009年學術文章" @default.
- Q114925544 description "2009年學術文章" @default.
- Q114925544 description "2009年學術文章" @default.
- Q114925544 description "2009年學術文章" @default.
- Q114925544 description "2009년 논문" @default.
- Q114925544 description "article científic" @default.
- Q114925544 description "article scientific" @default.
- Q114925544 description "article scientifique" @default.
- Q114925544 description "articol științific" @default.
- Q114925544 description "articolo scientifico" @default.
- Q114925544 description "artigo científico" @default.
- Q114925544 description "artigo científico" @default.
- Q114925544 description "artigo científico" @default.
- Q114925544 description "artikel ilmiah" @default.
- Q114925544 description "artikull shkencor" @default.
- Q114925544 description "artikulong pang-agham" @default.
- Q114925544 description "artykuł naukowy" @default.
- Q114925544 description "artículo científico publicado en 2009" @default.
- Q114925544 description "artículu científicu espublizáu en 2009" @default.
- Q114925544 description "bilimsel makale" @default.
- Q114925544 description "bài báo khoa học" @default.
- Q114925544 description "naučni članak" @default.
- Q114925544 description "scienca artikolo" @default.
- Q114925544 description "scientific article published in 2009" @default.
- Q114925544 description "scientific article published in May 2009" @default.
- Q114925544 description "scientific article published in May 2009" @default.
- Q114925544 description "teaduslik artikkel" @default.
- Q114925544 description "tieteellinen artikkeli" @default.
- Q114925544 description "tudományos cikk" @default.
- Q114925544 description "vedecký článok" @default.
- Q114925544 description "vetenskaplig artikel" @default.
- Q114925544 description "videnskabelig artikel udgivet maj 2009" @default.
- Q114925544 description "vitenskapelig artikkel" @default.
- Q114925544 description "vitskapeleg artikkel" @default.
- Q114925544 description "vědecký článek" @default.
- Q114925544 description "wetenschappelijk artikel" @default.
- Q114925544 description "wissenschaftlicher Artikel" @default.
- Q114925544 description "επιστημονικό άρθρο" @default.
- Q114925544 description "мақолаи илмӣ" @default.
- Q114925544 description "наукова стаття, опублікована в травні 2009" @default.
- Q114925544 description "научна статия" @default.
- Q114925544 description "научная статья" @default.
- Q114925544 description "научни чланак" @default.
- Q114925544 description "научни чланак" @default.
- Q114925544 description "מאמר מדעי" @default.
- Q114925544 description "مقالة بحثية نشرت في مايو 2009" @default.
- Q114925544 description "মে ২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114925544 description "บทความทางวิทยาศาสตร์" @default.
- Q114925544 description "სამეცნიერო სტატია" @default.
- Q114925544 name "TPMC: A Model Checker For Time–Sensitive Security Protocols" @default.
- Q114925544 type Item @default.
- Q114925544 label "TPMC: A Model Checker For Time–Sensitive Security Protocols" @default.
- Q114925544 prefLabel "TPMC: A Model Checker For Time–Sensitive Security Protocols" @default.
- Q114925544 P1433 Q114925544-516B1293-6AEF-4D85-AFAC-55CBD50C39FE @default.
- Q114925544 P1476 Q114925544-A903260B-7683-43D1-BDFD-DD3B319345E5 @default.
- Q114925544 P2093 Q114925544-3783560A-A276-4C34-A14E-360A725FA38B @default.
- Q114925544 P2093 Q114925544-723068BA-1975-4E68-A8BE-939F85639106 @default.
- Q114925544 P2093 Q114925544-F5FE07E2-0DDB-43D8-9E6F-844279DD1733 @default.
- Q114925544 P31 Q114925544-DD7FD0FB-8C99-4296-BF33-1B5DED799158 @default.
- Q114925544 P356 Q114925544-CE87BF55-6358-4F5F-966E-845228AE8689 @default.
- Q114925544 P433 Q114925544-99E661BB-BE62-4099-93B9-226F45CE1E1B @default.
- Q114925544 P478 Q114925544-000567B7-1CDE-484C-A2BC-1E89BE3EEB58 @default.
- Q114925544 P577 Q114925544-19F6EDF2-72D7-4C45-9B20-5C47FC53ED5B @default.
- Q114925544 P356 JCP.4.5.366-377 @default.
- Q114925544 P1433 Q15766754 @default.
- Q114925544 P1476 "TPMC: A Model Checker For Time–Sensitive Security Protocols" @default.
- Q114925544 P2093 "Adriano Peron" @default.
- Q114925544 P2093 "Massimo Benerecetti" @default.
- Q114925544 P2093 "Nicola Cuomo" @default.
- Q114925544 P31 Q13442814 @default.
- Q114925544 P356 "10.4304/JCP.4.5.366-377" @default.
- Q114925544 P433 "5" @default.
- Q114925544 P478 "4" @default.
- Q114925544 P577 "2009-05-01T00:00:00Z" @default.