Matches in Wikidata for { <http://www.wikidata.org/entity/Q115012769> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- Q115012769 description "artículu científicu espublizáu en 2003" @default.
- Q115012769 description "scientific article published in 2003" @default.
- Q115012769 description "наукова стаття, опублікована у 2003" @default.
- Q115012769 name "A formal approach for checking security properties in SecSpaces1 1Work partially supported by MEFISTO Progetto “Metodi Formali per la Sicurezza e il Tempo” and Microsoft Research Europe." @default.
- Q115012769 type Item @default.
- Q115012769 label "A formal approach for checking security properties in SecSpaces1 1Work partially supported by MEFISTO Progetto “Metodi Formali per la Sicurezza e il Tempo” and Microsoft Research Europe." @default.
- Q115012769 prefLabel "A formal approach for checking security properties in SecSpaces1 1Work partially supported by MEFISTO Progetto “Metodi Formali per la Sicurezza e il Tempo” and Microsoft Research Europe." @default.
- Q115012769 P1433 Q115012769-BDB3F22F-D723-4B68-9FDB-E170D2A1E784 @default.
- Q115012769 P1476 Q115012769-1C4E2AF3-3D97-4F0E-BC02-D373B7575990 @default.
- Q115012769 P2093 Q115012769-37C4A136-1D77-4FA7-998D-85BE4BA4043B @default.
- Q115012769 P2093 Q115012769-936EE0A6-C28C-4C3E-A8CD-EB6C79405908 @default.
- Q115012769 P2093 Q115012769-B2ADDA3F-88F7-403B-8445-4B73F0D98CCA @default.
- Q115012769 P304 Q115012769-C44EE6DF-99A5-4ABE-B00F-4B24BD5DE590 @default.
- Q115012769 P31 Q115012769-FC4518BF-E44C-4B29-A40C-3F7333B5F778 @default.
- Q115012769 P356 Q115012769-218436AC-9F41-4FDE-ABCC-ECFB79EC0BF4 @default.
- Q115012769 P433 Q115012769-D83F170E-B442-485D-9A68-80CEB34874D5 @default.
- Q115012769 P478 Q115012769-5CEF1485-B5F3-4EE2-A61C-A16979CDB5FE @default.
- Q115012769 P577 Q115012769-34E0B84D-3AF9-4F90-9E5F-5103EB6C5FEC @default.
- Q115012769 P356 S1571-0661(04)80684-4 @default.
- Q115012769 P1433 Q5358287 @default.
- Q115012769 P1476 "A formal approach for checking security properties in SecSpaces1 1Work partially supported by MEFISTO Progetto “Metodi Formali per la Sicurezza e il Tempo” and Microsoft Research Europe." @default.
- Q115012769 P2093 "Mario Bravetti" @default.
- Q115012769 P2093 "Roberto Gorrieri" @default.
- Q115012769 P2093 "Roberto Lucchi" @default.
- Q115012769 P304 "54-70" @default.
- Q115012769 P31 Q13442814 @default.
- Q115012769 P356 "10.1016/S1571-0661(04)80684-4" @default.
- Q115012769 P433 "3" @default.
- Q115012769 P478 "85" @default.
- Q115012769 P577 "2003-08-01T00:00:00Z" @default.