Matches in SemOpenAlex for { <https://semopenalex.org/work/W2571372496> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2571372496 endingPage "44" @default.
- W2571372496 startingPage "2" @default.
- W2571372496 created "2017-01-13" @default.
- W2571372496 creator A5015753190 @default.
- W2571372496 creator A5024948059 @default.
- W2571372496 creator A5054295591 @default.
- W2571372496 date "2005-01-26" @default.
- W2571372496 modified "2023-09-23" @default.
- W2571372496 title "Verification Tools Using Abstraction" @default.
- W2571372496 hasPublicationYear "2005" @default.
- W2571372496 type Work @default.
- W2571372496 sameAs 2571372496 @default.
- W2571372496 citedByCount "0" @default.
- W2571372496 crossrefType "journal-article" @default.
- W2571372496 hasAuthorship W2571372496A5015753190 @default.
- W2571372496 hasAuthorship W2571372496A5024948059 @default.
- W2571372496 hasAuthorship W2571372496A5054295591 @default.
- W2571372496 hasConcept C111472728 @default.
- W2571372496 hasConcept C115903868 @default.
- W2571372496 hasConcept C124304363 @default.
- W2571372496 hasConcept C138885662 @default.
- W2571372496 hasConcept C199360897 @default.
- W2571372496 hasConcept C41008148 @default.
- W2571372496 hasConceptScore W2571372496C111472728 @default.
- W2571372496 hasConceptScore W2571372496C115903868 @default.
- W2571372496 hasConceptScore W2571372496C124304363 @default.
- W2571372496 hasConceptScore W2571372496C138885662 @default.
- W2571372496 hasConceptScore W2571372496C199360897 @default.
- W2571372496 hasConceptScore W2571372496C41008148 @default.
- W2571372496 hasIssue "1" @default.
- W2571372496 hasLocation W25713724961 @default.
- W2571372496 hasOpenAccess W2571372496 @default.
- W2571372496 hasPrimaryLocation W25713724961 @default.
- W2571372496 hasRelatedWork W1484942078 @default.
- W2571372496 hasRelatedWork W1487536269 @default.
- W2571372496 hasRelatedWork W1529145063 @default.
- W2571372496 hasRelatedWork W2004066214 @default.
- W2571372496 hasRelatedWork W2028340477 @default.
- W2571372496 hasRelatedWork W2057956383 @default.
- W2571372496 hasRelatedWork W2111692334 @default.
- W2571372496 hasRelatedWork W2146957995 @default.
- W2571372496 hasRelatedWork W2293341276 @default.
- W2571372496 hasRelatedWork W2550537921 @default.
- W2571372496 hasRelatedWork W2784060175 @default.
- W2571372496 hasRelatedWork W3162416238 @default.
- W2571372496 hasRelatedWork W3193749905 @default.
- W2571372496 hasRelatedWork W3197662221 @default.
- W2571372496 hasRelatedWork W632952695 @default.
- W2571372496 hasRelatedWork W772072587 @default.
- W2571372496 hasRelatedWork W81670375 @default.
- W2571372496 hasRelatedWork W967948971 @default.
- W2571372496 hasRelatedWork W2559457849 @default.
- W2571372496 hasRelatedWork W867075435 @default.
- W2571372496 hasVolume "22" @default.
- W2571372496 isParatext "false" @default.
- W2571372496 isRetracted "false" @default.
- W2571372496 magId "2571372496" @default.
- W2571372496 workType "article" @default.