Matches in SemOpenAlex for { <https://semopenalex.org/work/W20172544> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W20172544 created "2016-06-24" @default.
- W20172544 creator A5058847017 @default.
- W20172544 date "2008-01-01" @default.
- W20172544 modified "2023-09-26" @default.
- W20172544 title "The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications" @default.
- W20172544 cites W1480651318 @default.
- W20172544 cites W1496007014 @default.
- W20172544 cites W1499590886 @default.
- W20172544 cites W1502337223 @default.
- W20172544 cites W1503170978 @default.
- W20172544 cites W1523442991 @default.
- W20172544 cites W1523724142 @default.
- W20172544 cites W1539606702 @default.
- W20172544 cites W1544621933 @default.
- W20172544 cites W1560641852 @default.
- W20172544 cites W1562859289 @default.
- W20172544 cites W1565182310 @default.
- W20172544 cites W1566914015 @default.
- W20172544 cites W1583487553 @default.
- W20172544 cites W1943502734 @default.
- W20172544 cites W1975112016 @default.
- W20172544 cites W1988421192 @default.
- W20172544 cites W2031111226 @default.
- W20172544 cites W2060440626 @default.
- W20172544 cites W2061438988 @default.
- W20172544 cites W2097248142 @default.
- W20172544 cites W2104877841 @default.
- W20172544 cites W2115309705 @default.
- W20172544 cites W2132176278 @default.
- W20172544 cites W2136199343 @default.
- W20172544 cites W2144690539 @default.
- W20172544 cites W2145727812 @default.
- W20172544 cites W2250924070 @default.
- W20172544 cites W2340735175 @default.
- W20172544 cites W2913459036 @default.
- W20172544 cites W2115530734 @default.
- W20172544 cites W3185910042 @default.
- W20172544 hasPublicationYear "2008" @default.
- W20172544 type Work @default.
- W20172544 sameAs 20172544 @default.
- W20172544 citedByCount "0" @default.
- W20172544 crossrefType "book-chapter" @default.
- W20172544 hasAuthorship W20172544A5058847017 @default.
- W20172544 hasConcept C110251889 @default.
- W20172544 hasConcept C111335779 @default.
- W20172544 hasConcept C177774035 @default.
- W20172544 hasConcept C199360897 @default.
- W20172544 hasConcept C2524010 @default.
- W20172544 hasConcept C2776329536 @default.
- W20172544 hasConcept C30888246 @default.
- W20172544 hasConcept C33923547 @default.
- W20172544 hasConcept C41008148 @default.
- W20172544 hasConcept C80444323 @default.
- W20172544 hasConceptScore W20172544C110251889 @default.
- W20172544 hasConceptScore W20172544C111335779 @default.
- W20172544 hasConceptScore W20172544C177774035 @default.
- W20172544 hasConceptScore W20172544C199360897 @default.
- W20172544 hasConceptScore W20172544C2524010 @default.
- W20172544 hasConceptScore W20172544C2776329536 @default.
- W20172544 hasConceptScore W20172544C30888246 @default.
- W20172544 hasConceptScore W20172544C33923547 @default.
- W20172544 hasConceptScore W20172544C41008148 @default.
- W20172544 hasConceptScore W20172544C80444323 @default.
- W20172544 hasOpenAccess W20172544 @default.
- W20172544 hasRelatedWork W135199158 @default.
- W20172544 hasRelatedWork W1573354578 @default.
- W20172544 hasRelatedWork W161666304 @default.
- W20172544 hasRelatedWork W1639286548 @default.
- W20172544 hasRelatedWork W1839943810 @default.
- W20172544 hasRelatedWork W1964235512 @default.
- W20172544 hasRelatedWork W1975857401 @default.
- W20172544 hasRelatedWork W1987378265 @default.
- W20172544 hasRelatedWork W1998021290 @default.
- W20172544 hasRelatedWork W2034063031 @default.
- W20172544 hasRelatedWork W2034609074 @default.
- W20172544 hasRelatedWork W2042966439 @default.
- W20172544 hasRelatedWork W2068086706 @default.
- W20172544 hasRelatedWork W2135108322 @default.
- W20172544 hasRelatedWork W2138475270 @default.
- W20172544 hasRelatedWork W2139720682 @default.
- W20172544 hasRelatedWork W2140364234 @default.
- W20172544 hasRelatedWork W2355853083 @default.
- W20172544 hasRelatedWork W2359287021 @default.
- W20172544 hasRelatedWork W2393291710 @default.
- W20172544 isParatext "false" @default.
- W20172544 isRetracted "false" @default.
- W20172544 magId "20172544" @default.
- W20172544 workType "book-chapter" @default.