Matches in SemOpenAlex for { <https://semopenalex.org/work/W15672803> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W15672803 endingPage "325" @default.
- W15672803 startingPage "297" @default.
- W15672803 created "2016-06-24" @default.
- W15672803 creator A5078255358 @default.
- W15672803 date "2012-01-01" @default.
- W15672803 modified "2023-09-23" @default.
- W15672803 title "Verification of Concurrent Programs" @default.
- W15672803 cites W120333500 @default.
- W15672803 cites W123493550 @default.
- W15672803 cites W1506588809 @default.
- W15672803 cites W2036267700 @default.
- W15672803 cites W2569787747 @default.
- W15672803 doi "https://doi.org/10.1007/978-1-4471-4129-7_16" @default.
- W15672803 hasPublicationYear "2012" @default.
- W15672803 type Work @default.
- W15672803 sameAs 15672803 @default.
- W15672803 citedByCount "0" @default.
- W15672803 crossrefType "book-chapter" @default.
- W15672803 hasAuthorship W15672803A5078255358 @default.
- W15672803 hasConcept C111919701 @default.
- W15672803 hasConcept C176181172 @default.
- W15672803 hasConcept C199360897 @default.
- W15672803 hasConcept C41008148 @default.
- W15672803 hasConcept C80444323 @default.
- W15672803 hasConceptScore W15672803C111919701 @default.
- W15672803 hasConceptScore W15672803C176181172 @default.
- W15672803 hasConceptScore W15672803C199360897 @default.
- W15672803 hasConceptScore W15672803C41008148 @default.
- W15672803 hasConceptScore W15672803C80444323 @default.
- W15672803 hasLocation W156728031 @default.
- W15672803 hasOpenAccess W15672803 @default.
- W15672803 hasPrimaryLocation W156728031 @default.
- W15672803 hasRelatedWork W1492399570 @default.
- W15672803 hasRelatedWork W1527862632 @default.
- W15672803 hasRelatedWork W1823227073 @default.
- W15672803 hasRelatedWork W2109507516 @default.
- W15672803 hasRelatedWork W2112962394 @default.
- W15672803 hasRelatedWork W2118300983 @default.
- W15672803 hasRelatedWork W2135396778 @default.
- W15672803 hasRelatedWork W2166247150 @default.
- W15672803 hasRelatedWork W2998136486 @default.
- W15672803 hasRelatedWork W4243252198 @default.
- W15672803 isParatext "false" @default.
- W15672803 isRetracted "false" @default.
- W15672803 magId "15672803" @default.
- W15672803 workType "book-chapter" @default.