Matches in SemOpenAlex for { <https://semopenalex.org/work/W2576175194> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2576175194 endingPage "55" @default.
- W2576175194 startingPage "48" @default.
- W2576175194 created "2017-01-26" @default.
- W2576175194 creator A5007775504 @default.
- W2576175194 creator A5045551177 @default.
- W2576175194 creator A5068520295 @default.
- W2576175194 creator A5079438532 @default.
- W2576175194 creator A5089966579 @default.
- W2576175194 date "2016-01-01" @default.
- W2576175194 modified "2023-09-24" @default.
- W2576175194 title "C Code Verification based on the Extended Labeled Transition System Model." @default.
- W2576175194 cites W2149647957 @default.
- W2576175194 cites W2161246680 @default.
- W2576175194 cites W2250988907 @default.
- W2576175194 cites W2474562651 @default.
- W2576175194 hasPublicationYear "2016" @default.
- W2576175194 type Work @default.
- W2576175194 sameAs 2576175194 @default.
- W2576175194 citedByCount "0" @default.
- W2576175194 crossrefType "journal-article" @default.
- W2576175194 hasAuthorship W2576175194A5007775504 @default.
- W2576175194 hasAuthorship W2576175194A5045551177 @default.
- W2576175194 hasAuthorship W2576175194A5068520295 @default.
- W2576175194 hasAuthorship W2576175194A5079438532 @default.
- W2576175194 hasAuthorship W2576175194A5089966579 @default.
- W2576175194 hasConcept C104317684 @default.
- W2576175194 hasConcept C177264268 @default.
- W2576175194 hasConcept C185592680 @default.
- W2576175194 hasConcept C194232998 @default.
- W2576175194 hasConcept C199360897 @default.
- W2576175194 hasConcept C2776760102 @default.
- W2576175194 hasConcept C38652104 @default.
- W2576175194 hasConcept C41008148 @default.
- W2576175194 hasConcept C55493867 @default.
- W2576175194 hasConcept C80444323 @default.
- W2576175194 hasConceptScore W2576175194C104317684 @default.
- W2576175194 hasConceptScore W2576175194C177264268 @default.
- W2576175194 hasConceptScore W2576175194C185592680 @default.
- W2576175194 hasConceptScore W2576175194C194232998 @default.
- W2576175194 hasConceptScore W2576175194C199360897 @default.
- W2576175194 hasConceptScore W2576175194C2776760102 @default.
- W2576175194 hasConceptScore W2576175194C38652104 @default.
- W2576175194 hasConceptScore W2576175194C41008148 @default.
- W2576175194 hasConceptScore W2576175194C55493867 @default.
- W2576175194 hasConceptScore W2576175194C80444323 @default.
- W2576175194 hasLocation W25761751941 @default.
- W2576175194 hasOpenAccess W2576175194 @default.
- W2576175194 hasPrimaryLocation W25761751941 @default.
- W2576175194 isParatext "false" @default.
- W2576175194 isRetracted "false" @default.
- W2576175194 magId "2576175194" @default.
- W2576175194 workType "article" @default.