Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183244029> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2183244029 endingPage "295" @default.
- W2183244029 startingPage "276" @default.
- W2183244029 created "2016-06-24" @default.
- W2183244029 creator A5013953545 @default.
- W2183244029 creator A5024976868 @default.
- W2183244029 creator A5084194284 @default.
- W2183244029 date "2014-01-01" @default.
- W2183244029 modified "2023-10-16" @default.
- W2183244029 title "Synthesis of Infinite-State Abstractions and Their Use for Software Validation" @default.
- W2183244029 cites W118153159 @default.
- W2183244029 cites W133354355 @default.
- W2183244029 cites W1494879905 @default.
- W2183244029 cites W1533857697 @default.
- W2183244029 cites W1920714717 @default.
- W2183244029 cites W1974091547 @default.
- W2183244029 cites W1989445634 @default.
- W2183244029 cites W1993509980 @default.
- W2183244029 cites W2005882647 @default.
- W2183244029 cites W2024442685 @default.
- W2183244029 cites W2033809864 @default.
- W2183244029 cites W2052363833 @default.
- W2183244029 cites W2061438988 @default.
- W2183244029 cites W2061526428 @default.
- W2183244029 cites W2067636118 @default.
- W2183244029 cites W2074001172 @default.
- W2183244029 cites W2108632968 @default.
- W2183244029 cites W2110908283 @default.
- W2183244029 cites W2123884728 @default.
- W2183244029 cites W2126420753 @default.
- W2183244029 cites W2131507481 @default.
- W2183244029 cites W2134119432 @default.
- W2183244029 cites W2134338128 @default.
- W2183244029 cites W2142762894 @default.
- W2183244029 cites W2142973056 @default.
- W2183244029 cites W2156844766 @default.
- W2183244029 cites W2165121897 @default.
- W2183244029 cites W2167187192 @default.
- W2183244029 cites W2170108788 @default.
- W2183244029 cites W3144730817 @default.
- W2183244029 cites W4254691308 @default.
- W2183244029 doi "https://doi.org/10.1007/978-3-642-54624-2_14" @default.
- W2183244029 hasPublicationYear "2014" @default.
- W2183244029 type Work @default.
- W2183244029 sameAs 2183244029 @default.
- W2183244029 citedByCount "0" @default.
- W2183244029 crossrefType "book-chapter" @default.
- W2183244029 hasAuthorship W2183244029A5013953545 @default.
- W2183244029 hasAuthorship W2183244029A5024976868 @default.
- W2183244029 hasAuthorship W2183244029A5084194284 @default.
- W2183244029 hasConcept C115903868 @default.
- W2183244029 hasConcept C121332964 @default.
- W2183244029 hasConcept C154945302 @default.
- W2183244029 hasConcept C167822520 @default.
- W2183244029 hasConcept C168167062 @default.
- W2183244029 hasConcept C174683762 @default.
- W2183244029 hasConcept C177264268 @default.
- W2183244029 hasConcept C195818886 @default.
- W2183244029 hasConcept C199360897 @default.
- W2183244029 hasConcept C2776214188 @default.
- W2183244029 hasConcept C2777904410 @default.
- W2183244029 hasConcept C41008148 @default.
- W2183244029 hasConcept C48103436 @default.
- W2183244029 hasConcept C529173508 @default.
- W2183244029 hasConcept C80444323 @default.
- W2183244029 hasConcept C97355855 @default.
- W2183244029 hasConceptScore W2183244029C115903868 @default.
- W2183244029 hasConceptScore W2183244029C121332964 @default.
- W2183244029 hasConceptScore W2183244029C154945302 @default.
- W2183244029 hasConceptScore W2183244029C167822520 @default.
- W2183244029 hasConceptScore W2183244029C168167062 @default.
- W2183244029 hasConceptScore W2183244029C174683762 @default.
- W2183244029 hasConceptScore W2183244029C177264268 @default.
- W2183244029 hasConceptScore W2183244029C195818886 @default.
- W2183244029 hasConceptScore W2183244029C199360897 @default.
- W2183244029 hasConceptScore W2183244029C2776214188 @default.
- W2183244029 hasConceptScore W2183244029C2777904410 @default.
- W2183244029 hasConceptScore W2183244029C41008148 @default.
- W2183244029 hasConceptScore W2183244029C48103436 @default.
- W2183244029 hasConceptScore W2183244029C529173508 @default.
- W2183244029 hasConceptScore W2183244029C80444323 @default.
- W2183244029 hasConceptScore W2183244029C97355855 @default.
- W2183244029 hasLocation W21832440291 @default.
- W2183244029 hasOpenAccess W2183244029 @default.
- W2183244029 hasPrimaryLocation W21832440291 @default.
- W2183244029 hasRelatedWork W1533461606 @default.
- W2183244029 hasRelatedWork W2082318398 @default.
- W2183244029 hasRelatedWork W2101663592 @default.
- W2183244029 hasRelatedWork W2134689342 @default.
- W2183244029 hasRelatedWork W2360456099 @default.
- W2183244029 hasRelatedWork W2371331221 @default.
- W2183244029 hasRelatedWork W2379338121 @default.
- W2183244029 hasRelatedWork W3035270565 @default.
- W2183244029 hasRelatedWork W4297733016 @default.
- W2183244029 hasRelatedWork W2469106144 @default.
- W2183244029 isParatext "false" @default.
- W2183244029 isRetracted "false" @default.
- W2183244029 magId "2183244029" @default.
- W2183244029 workType "book-chapter" @default.