Matches in SemOpenAlex for { <https://semopenalex.org/work/W4057178> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4057178 endingPage "218" @default.
- W4057178 startingPage "203" @default.
- W4057178 created "2016-06-24" @default.
- W4057178 creator A5012128738 @default.
- W4057178 creator A5046915601 @default.
- W4057178 date "2014-01-01" @default.
- W4057178 modified "2023-10-03" @default.
- W4057178 title "Timed Automata Verification via IC3 with Zones" @default.
- W4057178 cites W132127320 @default.
- W4057178 cites W136284023 @default.
- W4057178 cites W1480600454 @default.
- W4057178 cites W1480909796 @default.
- W4057178 cites W1482233117 @default.
- W4057178 cites W1486272257 @default.
- W4057178 cites W1515421996 @default.
- W4057178 cites W1519587690 @default.
- W4057178 cites W1535724250 @default.
- W4057178 cites W1549166962 @default.
- W4057178 cites W1556566737 @default.
- W4057178 cites W1566132409 @default.
- W4057178 cites W1569203277 @default.
- W4057178 cites W1589421353 @default.
- W4057178 cites W1598914363 @default.
- W4057178 cites W168227854 @default.
- W4057178 cites W1874996599 @default.
- W4057178 cites W1893208258 @default.
- W4057178 cites W2007490191 @default.
- W4057178 cites W2025995266 @default.
- W4057178 cites W2066210260 @default.
- W4057178 cites W206703680 @default.
- W4057178 cites W2101508170 @default.
- W4057178 cites W2118791871 @default.
- W4057178 cites W2142718416 @default.
- W4057178 cites W2150220388 @default.
- W4057178 cites W2155492335 @default.
- W4057178 cites W2160883697 @default.
- W4057178 cites W2489001267 @default.
- W4057178 cites W2911816074 @default.
- W4057178 cites W37658565 @default.
- W4057178 cites W59365162 @default.
- W4057178 cites W78026558 @default.
- W4057178 doi "https://doi.org/10.1007/978-3-319-11737-9_14" @default.
- W4057178 hasPublicationYear "2014" @default.
- W4057178 type Work @default.
- W4057178 sameAs 4057178 @default.
- W4057178 citedByCount "7" @default.
- W4057178 countsByYear W40571782015 @default.
- W4057178 countsByYear W40571782016 @default.
- W4057178 countsByYear W40571782017 @default.
- W4057178 countsByYear W40571782018 @default.
- W4057178 countsByYear W40571782020 @default.
- W4057178 crossrefType "book-chapter" @default.
- W4057178 hasAuthorship W4057178A5012128738 @default.
- W4057178 hasAuthorship W4057178A5046915601 @default.
- W4057178 hasConcept C112505250 @default.
- W4057178 hasConcept C11413529 @default.
- W4057178 hasConcept C199360897 @default.
- W4057178 hasConcept C41008148 @default.
- W4057178 hasConcept C80444323 @default.
- W4057178 hasConceptScore W4057178C112505250 @default.
- W4057178 hasConceptScore W4057178C11413529 @default.
- W4057178 hasConceptScore W4057178C199360897 @default.
- W4057178 hasConceptScore W4057178C41008148 @default.
- W4057178 hasConceptScore W4057178C80444323 @default.
- W4057178 hasLocation W40571781 @default.
- W4057178 hasOpenAccess W4057178 @default.
- W4057178 hasPrimaryLocation W40571781 @default.
- W4057178 hasRelatedWork W1490722843 @default.
- W4057178 hasRelatedWork W1527862632 @default.
- W4057178 hasRelatedWork W2109507516 @default.
- W4057178 hasRelatedWork W2112962394 @default.
- W4057178 hasRelatedWork W2118300983 @default.
- W4057178 hasRelatedWork W2135396778 @default.
- W4057178 hasRelatedWork W2937242976 @default.
- W4057178 hasRelatedWork W3137189469 @default.
- W4057178 hasRelatedWork W4243252198 @default.
- W4057178 hasRelatedWork W2462343658 @default.
- W4057178 isParatext "false" @default.
- W4057178 isRetracted "false" @default.
- W4057178 magId "4057178" @default.
- W4057178 workType "book-chapter" @default.