Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200031919> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W3200031919 created "2021-09-27" @default.
- W3200031919 creator A5071452884 @default.
- W3200031919 date "2008-01-01" @default.
- W3200031919 modified "2023-09-24" @default.
- W3200031919 title "Symbolic verification of computational security for branching-time properties." @default.
- W3200031919 hasPublicationYear "2008" @default.
- W3200031919 type Work @default.
- W3200031919 sameAs 3200031919 @default.
- W3200031919 citedByCount "0" @default.
- W3200031919 crossrefType "journal-article" @default.
- W3200031919 hasAuthorship W3200031919A5071452884 @default.
- W3200031919 hasConcept C110251889 @default.
- W3200031919 hasConcept C159985019 @default.
- W3200031919 hasConcept C192562407 @default.
- W3200031919 hasConcept C199360897 @default.
- W3200031919 hasConcept C206175624 @default.
- W3200031919 hasConcept C23123167 @default.
- W3200031919 hasConcept C2777904410 @default.
- W3200031919 hasConcept C2779639559 @default.
- W3200031919 hasConcept C41008148 @default.
- W3200031919 hasConcept C80444323 @default.
- W3200031919 hasConceptScore W3200031919C110251889 @default.
- W3200031919 hasConceptScore W3200031919C159985019 @default.
- W3200031919 hasConceptScore W3200031919C192562407 @default.
- W3200031919 hasConceptScore W3200031919C199360897 @default.
- W3200031919 hasConceptScore W3200031919C206175624 @default.
- W3200031919 hasConceptScore W3200031919C23123167 @default.
- W3200031919 hasConceptScore W3200031919C2777904410 @default.
- W3200031919 hasConceptScore W3200031919C2779639559 @default.
- W3200031919 hasConceptScore W3200031919C41008148 @default.
- W3200031919 hasConceptScore W3200031919C80444323 @default.
- W3200031919 hasLocation W32000319191 @default.
- W3200031919 hasOpenAccess W3200031919 @default.
- W3200031919 hasPrimaryLocation W32000319191 @default.
- W3200031919 hasRelatedWork W1586871773 @default.
- W3200031919 hasRelatedWork W2077798750 @default.
- W3200031919 hasRelatedWork W2559045065 @default.
- W3200031919 hasRelatedWork W2569730083 @default.
- W3200031919 hasRelatedWork W2747915257 @default.
- W3200031919 hasRelatedWork W3016396162 @default.
- W3200031919 isParatext "false" @default.
- W3200031919 isRetracted "false" @default.
- W3200031919 magId "3200031919" @default.
- W3200031919 workType "article" @default.