Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184642483> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2184642483 created "2016-06-24" @default.
- W2184642483 creator A5001748768 @default.
- W2184642483 date "2008-01-01" @default.
- W2184642483 modified "2023-09-28" @default.
- W2184642483 title "Software Verification with BLAST Rigorous Sofware Development via Model Checking Seminar" @default.
- W2184642483 cites W1492527352 @default.
- W2184642483 cites W1556262481 @default.
- W2184642483 cites W1577404745 @default.
- W2184642483 cites W1774864661 @default.
- W2184642483 cites W2151463894 @default.
- W2184642483 cites W2295903414 @default.
- W2184642483 hasPublicationYear "2008" @default.
- W2184642483 type Work @default.
- W2184642483 sameAs 2184642483 @default.
- W2184642483 citedByCount "0" @default.
- W2184642483 crossrefType "journal-article" @default.
- W2184642483 hasAuthorship W2184642483A5001748768 @default.
- W2184642483 hasConcept C110251889 @default.
- W2184642483 hasConcept C115903868 @default.
- W2184642483 hasConcept C186846655 @default.
- W2184642483 hasConcept C199360897 @default.
- W2184642483 hasConcept C2777904410 @default.
- W2184642483 hasConcept C33054407 @default.
- W2184642483 hasConcept C41008148 @default.
- W2184642483 hasConcept C529173508 @default.
- W2184642483 hasConceptScore W2184642483C110251889 @default.
- W2184642483 hasConceptScore W2184642483C115903868 @default.
- W2184642483 hasConceptScore W2184642483C186846655 @default.
- W2184642483 hasConceptScore W2184642483C199360897 @default.
- W2184642483 hasConceptScore W2184642483C2777904410 @default.
- W2184642483 hasConceptScore W2184642483C33054407 @default.
- W2184642483 hasConceptScore W2184642483C41008148 @default.
- W2184642483 hasConceptScore W2184642483C529173508 @default.
- W2184642483 hasLocation W21846424831 @default.
- W2184642483 hasOpenAccess W2184642483 @default.
- W2184642483 hasPrimaryLocation W21846424831 @default.
- W2184642483 hasRelatedWork W1563778567 @default.
- W2184642483 hasRelatedWork W162696889 @default.
- W2184642483 hasRelatedWork W1630348075 @default.
- W2184642483 hasRelatedWork W1836717328 @default.
- W2184642483 hasRelatedWork W2013380671 @default.
- W2184642483 hasRelatedWork W2119355120 @default.
- W2184642483 hasRelatedWork W2124912329 @default.
- W2184642483 hasRelatedWork W2144950612 @default.
- W2184642483 hasRelatedWork W2154615844 @default.
- W2184642483 hasRelatedWork W2360252811 @default.
- W2184642483 hasRelatedWork W2403542146 @default.
- W2184642483 hasRelatedWork W2472960084 @default.
- W2184642483 hasRelatedWork W2635437981 @default.
- W2184642483 hasRelatedWork W2735907240 @default.
- W2184642483 hasRelatedWork W2754450383 @default.
- W2184642483 hasRelatedWork W3143080346 @default.
- W2184642483 hasRelatedWork W3148354057 @default.
- W2184642483 hasRelatedWork W3186009313 @default.
- W2184642483 hasRelatedWork W54779658 @default.
- W2184642483 hasRelatedWork W2339164052 @default.
- W2184642483 isParatext "false" @default.
- W2184642483 isRetracted "false" @default.
- W2184642483 magId "2184642483" @default.
- W2184642483 workType "article" @default.