Matches in SemOpenAlex for { <https://semopenalex.org/work/W2790126743> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2790126743 created "2018-03-29" @default.
- W2790126743 creator A5086739687 @default.
- W2790126743 date "2018-03-17" @default.
- W2790126743 modified "2023-09-24" @default.
- W2790126743 title "Attack Trees in Isabelle - CTL semantics, correctness and completeness." @default.
- W2790126743 cites W1533876796 @default.
- W2790126743 cites W1983870751 @default.
- W2790126743 cites W2048905609 @default.
- W2790126743 cites W2084044852 @default.
- W2790126743 cites W2142527556 @default.
- W2790126743 cites W2156607688 @default.
- W2790126743 cites W2346059483 @default.
- W2790126743 cites W2526849482 @default.
- W2790126743 cites W2744888375 @default.
- W2790126743 hasPublicationYear "2018" @default.
- W2790126743 type Work @default.
- W2790126743 sameAs 2790126743 @default.
- W2790126743 citedByCount "0" @default.
- W2790126743 crossrefType "posted-content" @default.
- W2790126743 hasAuthorship W2790126743A5086739687 @default.
- W2790126743 hasConcept C134306372 @default.
- W2790126743 hasConcept C147483822 @default.
- W2790126743 hasConcept C147969180 @default.
- W2790126743 hasConcept C156325763 @default.
- W2790126743 hasConcept C167672396 @default.
- W2790126743 hasConcept C17231256 @default.
- W2790126743 hasConcept C184337299 @default.
- W2790126743 hasConcept C199360897 @default.
- W2790126743 hasConcept C203014093 @default.
- W2790126743 hasConcept C33923547 @default.
- W2790126743 hasConcept C41008148 @default.
- W2790126743 hasConcept C55439883 @default.
- W2790126743 hasConcept C71924100 @default.
- W2790126743 hasConceptScore W2790126743C134306372 @default.
- W2790126743 hasConceptScore W2790126743C147483822 @default.
- W2790126743 hasConceptScore W2790126743C147969180 @default.
- W2790126743 hasConceptScore W2790126743C156325763 @default.
- W2790126743 hasConceptScore W2790126743C167672396 @default.
- W2790126743 hasConceptScore W2790126743C17231256 @default.
- W2790126743 hasConceptScore W2790126743C184337299 @default.
- W2790126743 hasConceptScore W2790126743C199360897 @default.
- W2790126743 hasConceptScore W2790126743C203014093 @default.
- W2790126743 hasConceptScore W2790126743C33923547 @default.
- W2790126743 hasConceptScore W2790126743C41008148 @default.
- W2790126743 hasConceptScore W2790126743C55439883 @default.
- W2790126743 hasConceptScore W2790126743C71924100 @default.
- W2790126743 hasLocation W27901267431 @default.
- W2790126743 hasOpenAccess W2790126743 @default.
- W2790126743 hasPrimaryLocation W27901267431 @default.
- W2790126743 hasRelatedWork W148496791 @default.
- W2790126743 hasRelatedWork W1517926351 @default.
- W2790126743 hasRelatedWork W1552857339 @default.
- W2790126743 hasRelatedWork W2005344510 @default.
- W2790126743 hasRelatedWork W2038289817 @default.
- W2790126743 hasRelatedWork W2067263293 @default.
- W2790126743 hasRelatedWork W2144973344 @default.
- W2790126743 hasRelatedWork W2168776788 @default.
- W2790126743 hasRelatedWork W2295642466 @default.
- W2790126743 hasRelatedWork W2323347121 @default.
- W2790126743 hasRelatedWork W23903359 @default.
- W2790126743 hasRelatedWork W2542393179 @default.
- W2790126743 hasRelatedWork W27878425 @default.
- W2790126743 hasRelatedWork W2797950816 @default.
- W2790126743 hasRelatedWork W2947233869 @default.
- W2790126743 hasRelatedWork W3017851112 @default.
- W2790126743 hasRelatedWork W3036611088 @default.
- W2790126743 hasRelatedWork W34452851 @default.
- W2790126743 hasRelatedWork W70488853 @default.
- W2790126743 hasRelatedWork W2178763188 @default.
- W2790126743 isParatext "false" @default.
- W2790126743 isRetracted "false" @default.
- W2790126743 magId "2790126743" @default.
- W2790126743 workType "article" @default.