Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487984273> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1487984273 endingPage "17" @default.
- W1487984273 startingPage "2" @default.
- W1487984273 created "2016-06-24" @default.
- W1487984273 creator A5009458897 @default.
- W1487984273 creator A5056369129 @default.
- W1487984273 creator A5090450416 @default.
- W1487984273 date "1998-01-01" @default.
- W1487984273 modified "2023-10-18" @default.
- W1487984273 title "Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution" @default.
- W1487984273 cites W1489215519 @default.
- W1487984273 cites W1498855130 @default.
- W1487984273 cites W1500286044 @default.
- W1487984273 cites W1515542122 @default.
- W1487984273 cites W1588758388 @default.
- W1487984273 cites W1741528175 @default.
- W1487984273 cites W1751589996 @default.
- W1487984273 cites W1782705083 @default.
- W1487984273 cites W2006120207 @default.
- W1487984273 cites W4241627488 @default.
- W1487984273 doi "https://doi.org/10.1007/3-540-49519-3_2" @default.
- W1487984273 hasPublicationYear "1998" @default.
- W1487984273 type Work @default.
- W1487984273 sameAs 1487984273 @default.
- W1487984273 citedByCount "26" @default.
- W1487984273 countsByYear W14879842732018 @default.
- W1487984273 countsByYear W14879842732021 @default.
- W1487984273 crossrefType "book-chapter" @default.
- W1487984273 hasAuthorship W1487984273A5009458897 @default.
- W1487984273 hasAuthorship W1487984273A5056369129 @default.
- W1487984273 hasAuthorship W1487984273A5090450416 @default.
- W1487984273 hasConcept C111472728 @default.
- W1487984273 hasConcept C124304363 @default.
- W1487984273 hasConcept C138885662 @default.
- W1487984273 hasConcept C162324750 @default.
- W1487984273 hasConcept C173608175 @default.
- W1487984273 hasConcept C173856430 @default.
- W1487984273 hasConcept C199360897 @default.
- W1487984273 hasConcept C206729178 @default.
- W1487984273 hasConcept C21547014 @default.
- W1487984273 hasConcept C2780586882 @default.
- W1487984273 hasConcept C41008148 @default.
- W1487984273 hasConcept C55439883 @default.
- W1487984273 hasConcept C98045186 @default.
- W1487984273 hasConceptScore W1487984273C111472728 @default.
- W1487984273 hasConceptScore W1487984273C124304363 @default.
- W1487984273 hasConceptScore W1487984273C138885662 @default.
- W1487984273 hasConceptScore W1487984273C162324750 @default.
- W1487984273 hasConceptScore W1487984273C173608175 @default.
- W1487984273 hasConceptScore W1487984273C173856430 @default.
- W1487984273 hasConceptScore W1487984273C199360897 @default.
- W1487984273 hasConceptScore W1487984273C206729178 @default.
- W1487984273 hasConceptScore W1487984273C21547014 @default.
- W1487984273 hasConceptScore W1487984273C2780586882 @default.
- W1487984273 hasConceptScore W1487984273C41008148 @default.
- W1487984273 hasConceptScore W1487984273C55439883 @default.
- W1487984273 hasConceptScore W1487984273C98045186 @default.
- W1487984273 hasLocation W14879842731 @default.
- W1487984273 hasOpenAccess W1487984273 @default.
- W1487984273 hasPrimaryLocation W14879842731 @default.
- W1487984273 hasRelatedWork W1759303344 @default.
- W1487984273 hasRelatedWork W1985198438 @default.
- W1487984273 hasRelatedWork W2573962391 @default.
- W1487984273 hasRelatedWork W2581223864 @default.
- W1487984273 hasRelatedWork W2962148629 @default.
- W1487984273 hasRelatedWork W3160136729 @default.
- W1487984273 hasRelatedWork W4238823939 @default.
- W1487984273 hasRelatedWork W4285597959 @default.
- W1487984273 hasRelatedWork W4302940624 @default.
- W1487984273 hasRelatedWork W2468989706 @default.
- W1487984273 isParatext "false" @default.
- W1487984273 isRetracted "false" @default.
- W1487984273 magId "1487984273" @default.
- W1487984273 workType "book-chapter" @default.