Matches in SemOpenAlex for { <https://semopenalex.org/work/W51551526> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W51551526 created "2016-06-24" @default.
- W51551526 creator A5007833372 @default.
- W51551526 creator A5014360702 @default.
- W51551526 creator A5091588309 @default.
- W51551526 date "2008-01-01" @default.
- W51551526 modified "2023-09-25" @default.
- W51551526 title "Model-Checking of Safety-Critical Software for Avionics." @default.
- W51551526 hasPublicationYear "2008" @default.
- W51551526 type Work @default.
- W51551526 sameAs 51551526 @default.
- W51551526 citedByCount "1" @default.
- W51551526 countsByYear W515515262012 @default.
- W51551526 crossrefType "journal-article" @default.
- W51551526 hasAuthorship W51551526A5007833372 @default.
- W51551526 hasAuthorship W51551526A5014360702 @default.
- W51551526 hasAuthorship W51551526A5091588309 @default.
- W51551526 hasConcept C109905503 @default.
- W51551526 hasConcept C110251889 @default.
- W51551526 hasConcept C111919701 @default.
- W51551526 hasConcept C117447612 @default.
- W51551526 hasConcept C127413603 @default.
- W51551526 hasConcept C146978453 @default.
- W51551526 hasConcept C149635348 @default.
- W51551526 hasConcept C15792166 @default.
- W51551526 hasConcept C163707989 @default.
- W51551526 hasConcept C199360897 @default.
- W51551526 hasConcept C200601418 @default.
- W51551526 hasConcept C2777904410 @default.
- W51551526 hasConcept C41008148 @default.
- W51551526 hasConcept C529173508 @default.
- W51551526 hasConceptScore W51551526C109905503 @default.
- W51551526 hasConceptScore W51551526C110251889 @default.
- W51551526 hasConceptScore W51551526C111919701 @default.
- W51551526 hasConceptScore W51551526C117447612 @default.
- W51551526 hasConceptScore W51551526C127413603 @default.
- W51551526 hasConceptScore W51551526C146978453 @default.
- W51551526 hasConceptScore W51551526C149635348 @default.
- W51551526 hasConceptScore W51551526C15792166 @default.
- W51551526 hasConceptScore W51551526C163707989 @default.
- W51551526 hasConceptScore W51551526C199360897 @default.
- W51551526 hasConceptScore W51551526C200601418 @default.
- W51551526 hasConceptScore W51551526C2777904410 @default.
- W51551526 hasConceptScore W51551526C41008148 @default.
- W51551526 hasConceptScore W51551526C529173508 @default.
- W51551526 hasLocation W515515261 @default.
- W51551526 hasOpenAccess W51551526 @default.
- W51551526 hasPrimaryLocation W515515261 @default.
- W51551526 hasRelatedWork W1515148232 @default.
- W51551526 hasRelatedWork W1968817134 @default.
- W51551526 hasRelatedWork W1985180487 @default.
- W51551526 hasRelatedWork W2039069466 @default.
- W51551526 hasRelatedWork W2073240871 @default.
- W51551526 hasRelatedWork W2102785826 @default.
- W51551526 hasRelatedWork W2112781153 @default.
- W51551526 hasRelatedWork W2131931610 @default.
- W51551526 hasRelatedWork W2139875931 @default.
- W51551526 hasRelatedWork W2215391695 @default.
- W51551526 hasRelatedWork W2216497869 @default.
- W51551526 hasRelatedWork W2369005645 @default.
- W51551526 hasRelatedWork W2386822144 @default.
- W51551526 hasRelatedWork W2406589827 @default.
- W51551526 hasRelatedWork W2899284962 @default.
- W51551526 hasRelatedWork W2958698110 @default.
- W51551526 hasRelatedWork W3028500183 @default.
- W51551526 hasRelatedWork W3376600 @default.
- W51551526 hasRelatedWork W44899897 @default.
- W51551526 hasRelatedWork W765628099 @default.
- W51551526 hasVolume "2008" @default.
- W51551526 isParatext "false" @default.
- W51551526 isRetracted "false" @default.
- W51551526 magId "51551526" @default.
- W51551526 workType "article" @default.