Matches in Wikidata for { <http://www.wikidata.org/entity/Q115012780> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- Q115012780 description "article scientifique publié en 1999" @default.
- Q115012780 description "artículu científicu espublizáu en 1999" @default.
- Q115012780 description "scientific article published in 1999" @default.
- Q115012780 description "наукова стаття, опублікована в 1999" @default.
- Q115012780 name "Using Abstract Interpretation for the Safe Verification of Security Protocols" @default.
- Q115012780 type Item @default.
- Q115012780 label "Using Abstract Interpretation for the Safe Verification of Security Protocols" @default.
- Q115012780 prefLabel "Using Abstract Interpretation for the Safe Verification of Security Protocols" @default.
- Q115012780 P1433 Q115012780-34C876EE-8F6A-4563-872A-FDCF05F84710 @default.
- Q115012780 P1476 Q115012780-36696B4E-FD61-4E7E-9B95-15BEE551CFCE @default.
- Q115012780 P2093 Q115012780-F9A4AC02-51DC-4D80-AC06-F2D91B337500 @default.
- Q115012780 P304 Q115012780-FFE8414D-B423-423B-8FD5-35B036466D5D @default.
- Q115012780 P31 Q115012780-C5EA06C3-98AF-4F20-855F-E067FCF431CE @default.
- Q115012780 P356 Q115012780-9FA76852-3C4E-4E22-92BE-E9F4A63C620A @default.
- Q115012780 P478 Q115012780-E041F071-BFEE-4BB1-B95B-C56E6E97AE40 @default.
- Q115012780 P577 Q115012780-31B1C38D-AF82-4B80-8F73-02B4A24EA6DE @default.
- Q115012780 P356 S1571-0661(04)80069-0 @default.
- Q115012780 P1433 Q5358287 @default.
- Q115012780 P1476 "Using Abstract Interpretation for the Safe Verification of Security Protocols" @default.
- Q115012780 P2093 "Dominique Bolignano" @default.
- Q115012780 P304 "95-116" @default.
- Q115012780 P31 Q13442814 @default.
- Q115012780 P356 "10.1016/S1571-0661(04)80069-0" @default.
- Q115012780 P478 "20" @default.
- Q115012780 P577 "1999-01-01T00:00:00Z" @default.