Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783302010> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2783302010 created "2018-01-26" @default.
- W2783302010 creator A5018273912 @default.
- W2783302010 creator A5077887195 @default.
- W2783302010 date "2017-10-01" @default.
- W2783302010 modified "2023-09-28" @default.
- W2783302010 title "Exploring Architectural Model Checking with Declarative Specifications" @default.
- W2783302010 hasPublicationYear "2017" @default.
- W2783302010 type Work @default.
- W2783302010 sameAs 2783302010 @default.
- W2783302010 citedByCount "0" @default.
- W2783302010 crossrefType "journal-article" @default.
- W2783302010 hasAuthorship W2783302010A5018273912 @default.
- W2783302010 hasAuthorship W2783302010A5077887195 @default.
- W2783302010 hasConcept C110251889 @default.
- W2783302010 hasConcept C115903868 @default.
- W2783302010 hasConcept C146206909 @default.
- W2783302010 hasConcept C199360897 @default.
- W2783302010 hasConcept C34165917 @default.
- W2783302010 hasConcept C41008148 @default.
- W2783302010 hasConcept C50033165 @default.
- W2783302010 hasConceptScore W2783302010C110251889 @default.
- W2783302010 hasConceptScore W2783302010C115903868 @default.
- W2783302010 hasConceptScore W2783302010C146206909 @default.
- W2783302010 hasConceptScore W2783302010C199360897 @default.
- W2783302010 hasConceptScore W2783302010C34165917 @default.
- W2783302010 hasConceptScore W2783302010C41008148 @default.
- W2783302010 hasConceptScore W2783302010C50033165 @default.
- W2783302010 hasLocation W27833020101 @default.
- W2783302010 hasOpenAccess W2783302010 @default.
- W2783302010 hasPrimaryLocation W27833020101 @default.
- W2783302010 hasRelatedWork W1921633840 @default.
- W2783302010 hasRelatedWork W1998459480 @default.
- W2783302010 hasRelatedWork W2018648477 @default.
- W2783302010 hasRelatedWork W2046283721 @default.
- W2783302010 hasRelatedWork W2099746723 @default.
- W2783302010 hasRelatedWork W2113227170 @default.
- W2783302010 hasRelatedWork W2123395684 @default.
- W2783302010 hasRelatedWork W2125373133 @default.
- W2783302010 hasRelatedWork W2127737795 @default.
- W2783302010 hasRelatedWork W2134226842 @default.
- W2783302010 hasRelatedWork W2138340202 @default.
- W2783302010 hasRelatedWork W2148439296 @default.
- W2783302010 hasRelatedWork W2157577995 @default.
- W2783302010 hasRelatedWork W2165240599 @default.
- W2783302010 hasRelatedWork W2331200217 @default.
- W2783302010 hasRelatedWork W2521448433 @default.
- W2783302010 hasRelatedWork W2545610616 @default.
- W2783302010 hasRelatedWork W3148260534 @default.
- W2783302010 hasRelatedWork W3151750481 @default.
- W2783302010 hasRelatedWork W3188558588 @default.
- W2783302010 isParatext "false" @default.
- W2783302010 isRetracted "false" @default.
- W2783302010 magId "2783302010" @default.
- W2783302010 workType "article" @default.