Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238045173> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4238045173 endingPage "488" @default.
- W4238045173 startingPage "479" @default.
- W4238045173 created "2022-05-12" @default.
- W4238045173 creator A5047012566 @default.
- W4238045173 creator A5074924783 @default.
- W4238045173 creator A5088626910 @default.
- W4238045173 date "2015-01-01" @default.
- W4238045173 modified "2023-09-23" @default.
- W4238045173 title "Applying Predicate Abstraction to Abstract State Machines" @default.
- W4238045173 cites W1455759230 @default.
- W4238045173 cites W1497571013 @default.
- W4238045173 cites W1531296731 @default.
- W4238045173 cites W153567890 @default.
- W4238045173 cites W1564054584 @default.
- W4238045173 cites W1567803624 @default.
- W4238045173 cites W1998333922 @default.
- W4238045173 cites W2015096460 @default.
- W4238045173 cites W2057249668 @default.
- W4238045173 cites W2094159214 @default.
- W4238045173 cites W2102258543 @default.
- W4238045173 cites W2116873772 @default.
- W4238045173 cites W2125522861 @default.
- W4238045173 cites W2125589866 @default.
- W4238045173 cites W2209502196 @default.
- W4238045173 cites W2914206182 @default.
- W4238045173 cites W3104526371 @default.
- W4238045173 cites W4230958226 @default.
- W4238045173 cites W92709837 @default.
- W4238045173 doi "https://doi.org/10.1007/978-3-319-19237-6_30" @default.
- W4238045173 hasPublicationYear "2015" @default.
- W4238045173 type Work @default.
- W4238045173 citedByCount "1" @default.
- W4238045173 countsByYear W42380451732018 @default.
- W4238045173 crossrefType "book-chapter" @default.
- W4238045173 hasAuthorship W4238045173A5047012566 @default.
- W4238045173 hasAuthorship W4238045173A5074924783 @default.
- W4238045173 hasAuthorship W4238045173A5088626910 @default.
- W4238045173 hasConcept C110251889 @default.
- W4238045173 hasConcept C111472728 @default.
- W4238045173 hasConcept C124304363 @default.
- W4238045173 hasConcept C138885662 @default.
- W4238045173 hasConcept C140146324 @default.
- W4238045173 hasConcept C145243422 @default.
- W4238045173 hasConcept C167822520 @default.
- W4238045173 hasConcept C199360897 @default.
- W4238045173 hasConcept C2779907942 @default.
- W4238045173 hasConcept C41008148 @default.
- W4238045173 hasConcept C80444323 @default.
- W4238045173 hasConceptScore W4238045173C110251889 @default.
- W4238045173 hasConceptScore W4238045173C111472728 @default.
- W4238045173 hasConceptScore W4238045173C124304363 @default.
- W4238045173 hasConceptScore W4238045173C138885662 @default.
- W4238045173 hasConceptScore W4238045173C140146324 @default.
- W4238045173 hasConceptScore W4238045173C145243422 @default.
- W4238045173 hasConceptScore W4238045173C167822520 @default.
- W4238045173 hasConceptScore W4238045173C199360897 @default.
- W4238045173 hasConceptScore W4238045173C2779907942 @default.
- W4238045173 hasConceptScore W4238045173C41008148 @default.
- W4238045173 hasConceptScore W4238045173C80444323 @default.
- W4238045173 hasLocation W42380451731 @default.
- W4238045173 hasOpenAccess W4238045173 @default.
- W4238045173 hasPrimaryLocation W42380451731 @default.
- W4238045173 hasRelatedWork W1603666985 @default.
- W4238045173 hasRelatedWork W1780369767 @default.
- W4238045173 hasRelatedWork W1804882692 @default.
- W4238045173 hasRelatedWork W1968331212 @default.
- W4238045173 hasRelatedWork W2030091897 @default.
- W4238045173 hasRelatedWork W2086991228 @default.
- W4238045173 hasRelatedWork W2098376757 @default.
- W4238045173 hasRelatedWork W36793001 @default.
- W4238045173 hasRelatedWork W2181384782 @default.
- W4238045173 hasRelatedWork W2522890436 @default.
- W4238045173 isParatext "false" @default.
- W4238045173 isRetracted "false" @default.
- W4238045173 workType "book-chapter" @default.