Matches in SemOpenAlex for { <https://semopenalex.org/work/W3143146040> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3143146040 endingPage "59" @default.
- W3143146040 startingPage "51" @default.
- W3143146040 created "2021-04-13" @default.
- W3143146040 creator A5019764656 @default.
- W3143146040 creator A5048745549 @default.
- W3143146040 creator A5055975794 @default.
- W3143146040 creator A5078987781 @default.
- W3143146040 date "2010-01-01" @default.
- W3143146040 modified "2023-09-23" @default.
- W3143146040 title "Verifying SystemC: A software model checking approach" @default.
- W3143146040 hasPublicationYear "2010" @default.
- W3143146040 type Work @default.
- W3143146040 sameAs 3143146040 @default.
- W3143146040 citedByCount "0" @default.
- W3143146040 crossrefType "proceedings-article" @default.
- W3143146040 hasAuthorship W3143146040A5019764656 @default.
- W3143146040 hasAuthorship W3143146040A5048745549 @default.
- W3143146040 hasAuthorship W3143146040A5055975794 @default.
- W3143146040 hasAuthorship W3143146040A5078987781 @default.
- W3143146040 hasConcept C110251889 @default.
- W3143146040 hasConcept C111919701 @default.
- W3143146040 hasConcept C115903868 @default.
- W3143146040 hasConcept C118524514 @default.
- W3143146040 hasConcept C149635348 @default.
- W3143146040 hasConcept C199360897 @default.
- W3143146040 hasConcept C2776928060 @default.
- W3143146040 hasConcept C2777904410 @default.
- W3143146040 hasConcept C41008148 @default.
- W3143146040 hasConceptScore W3143146040C110251889 @default.
- W3143146040 hasConceptScore W3143146040C111919701 @default.
- W3143146040 hasConceptScore W3143146040C115903868 @default.
- W3143146040 hasConceptScore W3143146040C118524514 @default.
- W3143146040 hasConceptScore W3143146040C149635348 @default.
- W3143146040 hasConceptScore W3143146040C199360897 @default.
- W3143146040 hasConceptScore W3143146040C2776928060 @default.
- W3143146040 hasConceptScore W3143146040C2777904410 @default.
- W3143146040 hasConceptScore W3143146040C41008148 @default.
- W3143146040 hasLocation W31431460401 @default.
- W3143146040 hasOpenAccess W3143146040 @default.
- W3143146040 hasPrimaryLocation W31431460401 @default.
- W3143146040 hasRelatedWork W1556078275 @default.
- W3143146040 hasRelatedWork W1983663560 @default.
- W3143146040 hasRelatedWork W1988942890 @default.
- W3143146040 hasRelatedWork W1999623278 @default.
- W3143146040 hasRelatedWork W2004396041 @default.
- W3143146040 hasRelatedWork W2046577927 @default.
- W3143146040 hasRelatedWork W2076600865 @default.
- W3143146040 hasRelatedWork W2093643762 @default.
- W3143146040 hasRelatedWork W2120872535 @default.
- W3143146040 hasRelatedWork W2138446696 @default.
- W3143146040 hasRelatedWork W2149848468 @default.
- W3143146040 hasRelatedWork W2155552885 @default.
- W3143146040 hasRelatedWork W2156116570 @default.
- W3143146040 hasRelatedWork W2161189012 @default.
- W3143146040 hasRelatedWork W2163477945 @default.
- W3143146040 hasRelatedWork W2557179738 @default.
- W3143146040 hasRelatedWork W2736171993 @default.
- W3143146040 hasRelatedWork W2798542572 @default.
- W3143146040 hasRelatedWork W3146857539 @default.
- W3143146040 hasRelatedWork W3149675034 @default.
- W3143146040 isParatext "false" @default.
- W3143146040 isRetracted "false" @default.
- W3143146040 magId "3143146040" @default.
- W3143146040 workType "article" @default.