Matches in SemOpenAlex for { <https://semopenalex.org/work/W289479560> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W289479560 endingPage "116" @default.
- W289479560 startingPage "105" @default.
- W289479560 created "2016-06-24" @default.
- W289479560 creator A5004599844 @default.
- W289479560 creator A5047174414 @default.
- W289479560 date "2002-01-01" @default.
- W289479560 modified "2023-09-23" @default.
- W289479560 title "Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking" @default.
- W289479560 hasPublicationYear "2002" @default.
- W289479560 type Work @default.
- W289479560 sameAs 289479560 @default.
- W289479560 citedByCount "1" @default.
- W289479560 crossrefType "journal-article" @default.
- W289479560 hasAuthorship W289479560A5004599844 @default.
- W289479560 hasAuthorship W289479560A5047174414 @default.
- W289479560 hasConcept C110251889 @default.
- W289479560 hasConcept C138885662 @default.
- W289479560 hasConcept C199360897 @default.
- W289479560 hasConcept C2779136372 @default.
- W289479560 hasConcept C2780654840 @default.
- W289479560 hasConcept C41008148 @default.
- W289479560 hasConcept C41895202 @default.
- W289479560 hasConcept C527412718 @default.
- W289479560 hasConcept C80444323 @default.
- W289479560 hasConceptScore W289479560C110251889 @default.
- W289479560 hasConceptScore W289479560C138885662 @default.
- W289479560 hasConceptScore W289479560C199360897 @default.
- W289479560 hasConceptScore W289479560C2779136372 @default.
- W289479560 hasConceptScore W289479560C2780654840 @default.
- W289479560 hasConceptScore W289479560C41008148 @default.
- W289479560 hasConceptScore W289479560C41895202 @default.
- W289479560 hasConceptScore W289479560C527412718 @default.
- W289479560 hasConceptScore W289479560C80444323 @default.
- W289479560 hasLocation W2894795601 @default.
- W289479560 hasOpenAccess W289479560 @default.
- W289479560 hasPrimaryLocation W2894795601 @default.
- W289479560 hasRelatedWork W1480105416 @default.
- W289479560 hasRelatedWork W1481569441 @default.
- W289479560 hasRelatedWork W1492683468 @default.
- W289479560 hasRelatedWork W1541174442 @default.
- W289479560 hasRelatedWork W1541426137 @default.
- W289479560 hasRelatedWork W1558199937 @default.
- W289479560 hasRelatedWork W1572879631 @default.
- W289479560 hasRelatedWork W1581427170 @default.
- W289479560 hasRelatedWork W1582717179 @default.
- W289479560 hasRelatedWork W1593793497 @default.
- W289479560 hasRelatedWork W1602312839 @default.
- W289479560 hasRelatedWork W2053300798 @default.
- W289479560 hasRelatedWork W2075107640 @default.
- W289479560 hasRelatedWork W2167522113 @default.
- W289479560 hasRelatedWork W2392617917 @default.
- W289479560 hasRelatedWork W2915378562 @default.
- W289479560 hasRelatedWork W2982031770 @default.
- W289479560 hasRelatedWork W67250670 @default.
- W289479560 hasRelatedWork W1593632240 @default.
- W289479560 hasRelatedWork W66273859 @default.
- W289479560 isParatext "false" @default.
- W289479560 isRetracted "false" @default.
- W289479560 magId "289479560" @default.
- W289479560 workType "article" @default.