Matches in SemOpenAlex for { <https://semopenalex.org/work/W1493222783> ?p ?o ?g. }
- W1493222783 endingPage "99" @default.
- W1493222783 startingPage "84" @default.
- W1493222783 created "2016-06-24" @default.
- W1493222783 creator A5026986267 @default.
- W1493222783 creator A5077914710 @default.
- W1493222783 date "2008-06-04" @default.
- W1493222783 modified "2023-09-24" @default.
- W1493222783 title "Verifying Dynamic Pointer-Manipulating Threads" @default.
- W1493222783 cites W1506323687 @default.
- W1493222783 cites W1507552563 @default.
- W1493222783 cites W1513884898 @default.
- W1493222783 cites W1522742464 @default.
- W1493222783 cites W1531413366 @default.
- W1493222783 cites W1533299090 @default.
- W1493222783 cites W153567890 @default.
- W1493222783 cites W1552505815 @default.
- W1493222783 cites W1577233792 @default.
- W1493222783 cites W1578097867 @default.
- W1493222783 cites W1658032593 @default.
- W1493222783 cites W1774864661 @default.
- W1493222783 cites W1991837261 @default.
- W1493222783 cites W2010265885 @default.
- W1493222783 cites W2030697178 @default.
- W1493222783 cites W2044858512 @default.
- W1493222783 cites W2078739669 @default.
- W1493222783 cites W2080769562 @default.
- W1493222783 cites W2123828382 @default.
- W1493222783 cites W2127163775 @default.
- W1493222783 cites W2136767512 @default.
- W1493222783 cites W2139748880 @default.
- W1493222783 cites W2153489883 @default.
- W1493222783 cites W2154713600 @default.
- W1493222783 cites W2160896531 @default.
- W1493222783 cites W2915057152 @default.
- W1493222783 cites W3020486320 @default.
- W1493222783 cites W3033386533 @default.
- W1493222783 cites W4247694393 @default.
- W1493222783 cites W4250522981 @default.
- W1493222783 doi "https://doi.org/10.1007/978-3-540-68237-0_8" @default.
- W1493222783 hasPublicationYear "2008" @default.
- W1493222783 type Work @default.
- W1493222783 sameAs 1493222783 @default.
- W1493222783 citedByCount "6" @default.
- W1493222783 countsByYear W14932227832013 @default.
- W1493222783 countsByYear W14932227832014 @default.
- W1493222783 countsByYear W14932227832015 @default.
- W1493222783 crossrefType "book-chapter" @default.
- W1493222783 hasAuthorship W1493222783A5026986267 @default.
- W1493222783 hasAuthorship W1493222783A5077914710 @default.
- W1493222783 hasConcept C110251889 @default.
- W1493222783 hasConcept C134757568 @default.
- W1493222783 hasConcept C138101251 @default.
- W1493222783 hasConcept C150202949 @default.
- W1493222783 hasConcept C153269930 @default.
- W1493222783 hasConcept C160191386 @default.
- W1493222783 hasConcept C162319229 @default.
- W1493222783 hasConcept C173856430 @default.
- W1493222783 hasConcept C193702766 @default.
- W1493222783 hasConcept C199360897 @default.
- W1493222783 hasConcept C30888246 @default.
- W1493222783 hasConcept C38677869 @default.
- W1493222783 hasConcept C41008148 @default.
- W1493222783 hasConcept C4777664 @default.
- W1493222783 hasConcept C55439883 @default.
- W1493222783 hasConcept C7263679 @default.
- W1493222783 hasConcept C80444323 @default.
- W1493222783 hasConcept C9390403 @default.
- W1493222783 hasConcept C97686452 @default.
- W1493222783 hasConceptScore W1493222783C110251889 @default.
- W1493222783 hasConceptScore W1493222783C134757568 @default.
- W1493222783 hasConceptScore W1493222783C138101251 @default.
- W1493222783 hasConceptScore W1493222783C150202949 @default.
- W1493222783 hasConceptScore W1493222783C153269930 @default.
- W1493222783 hasConceptScore W1493222783C160191386 @default.
- W1493222783 hasConceptScore W1493222783C162319229 @default.
- W1493222783 hasConceptScore W1493222783C173856430 @default.
- W1493222783 hasConceptScore W1493222783C193702766 @default.
- W1493222783 hasConceptScore W1493222783C199360897 @default.
- W1493222783 hasConceptScore W1493222783C30888246 @default.
- W1493222783 hasConceptScore W1493222783C38677869 @default.
- W1493222783 hasConceptScore W1493222783C41008148 @default.
- W1493222783 hasConceptScore W1493222783C4777664 @default.
- W1493222783 hasConceptScore W1493222783C55439883 @default.
- W1493222783 hasConceptScore W1493222783C7263679 @default.
- W1493222783 hasConceptScore W1493222783C80444323 @default.
- W1493222783 hasConceptScore W1493222783C9390403 @default.
- W1493222783 hasConceptScore W1493222783C97686452 @default.
- W1493222783 hasLocation W14932227831 @default.
- W1493222783 hasOpenAccess W1493222783 @default.
- W1493222783 hasPrimaryLocation W14932227831 @default.
- W1493222783 hasRelatedWork W1480874032 @default.
- W1493222783 hasRelatedWork W1539201627 @default.
- W1493222783 hasRelatedWork W1556652046 @default.
- W1493222783 hasRelatedWork W1558745442 @default.
- W1493222783 hasRelatedWork W1561659860 @default.
- W1493222783 hasRelatedWork W1575138043 @default.
- W1493222783 hasRelatedWork W1580495911 @default.
- W1493222783 hasRelatedWork W1600796815 @default.
- W1493222783 hasRelatedWork W1968936553 @default.
- W1493222783 hasRelatedWork W2031915967 @default.