Matches in SemOpenAlex for { <https://semopenalex.org/work/W41094794> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W41094794 created "2016-06-24" @default.
- W41094794 creator A5011198874 @default.
- W41094794 creator A5040009052 @default.
- W41094794 creator A5045088961 @default.
- W41094794 creator A5001418143 @default.
- W41094794 date "2010-03-25" @default.
- W41094794 modified "2023-10-03" @default.
- W41094794 title "Verifying Local Transformations of Concurrent Programs" @default.
- W41094794 hasPublicationYear "2010" @default.
- W41094794 type Work @default.
- W41094794 sameAs 41094794 @default.
- W41094794 citedByCount "0" @default.
- W41094794 crossrefType "proceedings-article" @default.
- W41094794 hasAuthorship W41094794A5001418143 @default.
- W41094794 hasAuthorship W41094794A5011198874 @default.
- W41094794 hasAuthorship W41094794A5040009052 @default.
- W41094794 hasAuthorship W41094794A5045088961 @default.
- W41094794 hasConcept C104317684 @default.
- W41094794 hasConcept C12186640 @default.
- W41094794 hasConcept C133875982 @default.
- W41094794 hasConcept C138885662 @default.
- W41094794 hasConcept C151730666 @default.
- W41094794 hasConcept C169590947 @default.
- W41094794 hasConcept C173608175 @default.
- W41094794 hasConcept C177264268 @default.
- W41094794 hasConcept C184337299 @default.
- W41094794 hasConcept C185592680 @default.
- W41094794 hasConcept C199360897 @default.
- W41094794 hasConcept C204241405 @default.
- W41094794 hasConcept C2778361913 @default.
- W41094794 hasConcept C2779343474 @default.
- W41094794 hasConcept C41008148 @default.
- W41094794 hasConcept C41895202 @default.
- W41094794 hasConcept C55493867 @default.
- W41094794 hasConcept C75291252 @default.
- W41094794 hasConcept C80444323 @default.
- W41094794 hasConcept C86803240 @default.
- W41094794 hasConceptScore W41094794C104317684 @default.
- W41094794 hasConceptScore W41094794C12186640 @default.
- W41094794 hasConceptScore W41094794C133875982 @default.
- W41094794 hasConceptScore W41094794C138885662 @default.
- W41094794 hasConceptScore W41094794C151730666 @default.
- W41094794 hasConceptScore W41094794C169590947 @default.
- W41094794 hasConceptScore W41094794C173608175 @default.
- W41094794 hasConceptScore W41094794C177264268 @default.
- W41094794 hasConceptScore W41094794C184337299 @default.
- W41094794 hasConceptScore W41094794C185592680 @default.
- W41094794 hasConceptScore W41094794C199360897 @default.
- W41094794 hasConceptScore W41094794C204241405 @default.
- W41094794 hasConceptScore W41094794C2778361913 @default.
- W41094794 hasConceptScore W41094794C2779343474 @default.
- W41094794 hasConceptScore W41094794C41008148 @default.
- W41094794 hasConceptScore W41094794C41895202 @default.
- W41094794 hasConceptScore W41094794C55493867 @default.
- W41094794 hasConceptScore W41094794C75291252 @default.
- W41094794 hasConceptScore W41094794C80444323 @default.
- W41094794 hasConceptScore W41094794C86803240 @default.
- W41094794 hasLocation W410947941 @default.
- W41094794 hasOpenAccess W41094794 @default.
- W41094794 hasPrimaryLocation W410947941 @default.
- W41094794 hasRelatedWork W1511438294 @default.
- W41094794 hasRelatedWork W1539795027 @default.
- W41094794 hasRelatedWork W1565345783 @default.
- W41094794 hasRelatedWork W1926439667 @default.
- W41094794 hasRelatedWork W2417154951 @default.
- W41094794 hasRelatedWork W2501636505 @default.
- W41094794 hasRelatedWork W2548257568 @default.
- W41094794 hasRelatedWork W2732726675 @default.
- W41094794 hasRelatedWork W2752700320 @default.
- W41094794 hasRelatedWork W2903351818 @default.
- W41094794 hasRelatedWork W2965462056 @default.
- W41094794 hasRelatedWork W2966103861 @default.
- W41094794 hasRelatedWork W2969585691 @default.
- W41094794 hasRelatedWork W2980011154 @default.
- W41094794 hasRelatedWork W3096421200 @default.
- W41094794 hasRelatedWork W3129944396 @default.
- W41094794 hasRelatedWork W3193995880 @default.
- W41094794 hasRelatedWork W589454760 @default.
- W41094794 hasRelatedWork W592447139 @default.
- W41094794 hasRelatedWork W98028116 @default.
- W41094794 isParatext "false" @default.
- W41094794 isRetracted "false" @default.
- W41094794 magId "41094794" @default.
- W41094794 workType "article" @default.