Matches in SemOpenAlex for { <https://semopenalex.org/work/W173662275> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W173662275 abstract "The paper presents a compositional program model of multi-application programs and sketches a framework for compositional specification and verification of temporal properties of such programs." @default.
- W173662275 created "2016-06-24" @default.
- W173662275 creator A5045181048 @default.
- W173662275 creator A5053650458 @default.
- W173662275 creator A5075577852 @default.
- W173662275 date "2001-01-01" @default.
- W173662275 modified "2023-09-23" @default.
- W173662275 title "Compositional specification and verification of control flow based security properties of multi-application programs" @default.
- W173662275 hasPublicationYear "2001" @default.
- W173662275 type Work @default.
- W173662275 sameAs 173662275 @default.
- W173662275 citedByCount "1" @default.
- W173662275 crossrefType "journal-article" @default.
- W173662275 hasAuthorship W173662275A5045181048 @default.
- W173662275 hasAuthorship W173662275A5053650458 @default.
- W173662275 hasAuthorship W173662275A5075577852 @default.
- W173662275 hasConcept C115903868 @default.
- W173662275 hasConcept C154945302 @default.
- W173662275 hasConcept C160191386 @default.
- W173662275 hasConcept C199360897 @default.
- W173662275 hasConcept C2775924081 @default.
- W173662275 hasConcept C41008148 @default.
- W173662275 hasConceptScore W173662275C115903868 @default.
- W173662275 hasConceptScore W173662275C154945302 @default.
- W173662275 hasConceptScore W173662275C160191386 @default.
- W173662275 hasConceptScore W173662275C199360897 @default.
- W173662275 hasConceptScore W173662275C2775924081 @default.
- W173662275 hasConceptScore W173662275C41008148 @default.
- W173662275 hasLocation W1736622751 @default.
- W173662275 hasOpenAccess W173662275 @default.
- W173662275 hasPrimaryLocation W1736622751 @default.
- W173662275 hasRelatedWork W1550099218 @default.
- W173662275 hasRelatedWork W1557009147 @default.
- W173662275 hasRelatedWork W1570993651 @default.
- W173662275 hasRelatedWork W1571823944 @default.
- W173662275 hasRelatedWork W1595999523 @default.
- W173662275 hasRelatedWork W1966314255 @default.
- W173662275 hasRelatedWork W1992180245 @default.
- W173662275 hasRelatedWork W2040153910 @default.
- W173662275 hasRelatedWork W2045491902 @default.
- W173662275 hasRelatedWork W2064830410 @default.
- W173662275 hasRelatedWork W2113226653 @default.
- W173662275 hasRelatedWork W2130195901 @default.
- W173662275 hasRelatedWork W2169895769 @default.
- W173662275 hasRelatedWork W2379921231 @default.
- W173662275 hasRelatedWork W2545940063 @default.
- W173662275 hasRelatedWork W2790258116 @default.
- W173662275 hasRelatedWork W2949756156 @default.
- W173662275 hasRelatedWork W3005585808 @default.
- W173662275 hasRelatedWork W57597413 @default.
- W173662275 hasRelatedWork W69410526 @default.
- W173662275 isParatext "false" @default.
- W173662275 isRetracted "false" @default.
- W173662275 magId "173662275" @default.
- W173662275 workType "article" @default.