SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1583398073> ?p ?o ?g. }

Showing items 1 to 100 of ±106 with 100 items per page.

W1583398073 created "2016-06-24" @default.
W1583398073 creator A5026224896 @default.
W1583398073 date "2008-04-11" @default.
W1583398073 modified "2023-09-22" @default.
W1583398073 title "Automated Reasoning for Hybrid Systems — Two Case Studies —" @default.
W1583398073 cites W1490569620 @default.
W1583398073 cites W1493929955 @default.
W1583398073 cites W1519319790 @default.
W1583398073 cites W1556860021 @default.
W1583398073 cites W156110352 @default.
W1583398073 cites W1577248548 @default.
W1583398073 cites W1762364904 @default.
W1583398073 cites W1995691455 @default.
W1583398073 cites W1998368317 @default.
W1583398073 cites W2004463571 @default.
W1583398073 cites W2020061635 @default.
W1583398073 cites W2058926819 @default.
W1583398073 cites W2068047345 @default.
W1583398073 cites W2077815947 @default.
W1583398073 cites W2085133105 @default.
W1583398073 cites W2093397547 @default.
W1583398073 cites W2097794976 @default.
W1583398073 cites W2101508170 @default.
W1583398073 cites W2166802518 @default.
W1583398073 cites W3189981105 @default.
W1583398073 doi "https://doi.org/10.1007/978-3-540-78913-0_15" @default.
W1583398073 hasPublicationYear "2008" @default.
W1583398073 type Work @default.
W1583398073 sameAs 1583398073 @default.
W1583398073 citedByCount "3" @default.
W1583398073 countsByYear W15833980732015 @default.
W1583398073 crossrefType "book-chapter" @default.
W1583398073 hasAuthorship W1583398073A5026224896 @default.
W1583398073 hasConcept C111472728 @default.
W1583398073 hasConcept C11413529 @default.
W1583398073 hasConcept C119857082 @default.
W1583398073 hasConcept C120665830 @default.
W1583398073 hasConcept C121332964 @default.
W1583398073 hasConcept C134306372 @default.
W1583398073 hasConcept C136119220 @default.
W1583398073 hasConcept C138885662 @default.
W1583398073 hasConcept C154945302 @default.
W1583398073 hasConcept C15569618 @default.
W1583398073 hasConcept C192209626 @default.
W1583398073 hasConcept C195344581 @default.
W1583398073 hasConcept C199360897 @default.
W1583398073 hasConcept C202444582 @default.
W1583398073 hasConcept C206880738 @default.
W1583398073 hasConcept C2780586882 @default.
W1583398073 hasConcept C33923547 @default.
W1583398073 hasConcept C41008148 @default.
W1583398073 hasConcept C42058472 @default.
W1583398073 hasConcept C4554734 @default.
W1583398073 hasConcept C50897621 @default.
W1583398073 hasConcept C80444323 @default.
W1583398073 hasConcept C9376300 @default.
W1583398073 hasConceptScore W1583398073C111472728 @default.
W1583398073 hasConceptScore W1583398073C11413529 @default.
W1583398073 hasConceptScore W1583398073C119857082 @default.
W1583398073 hasConceptScore W1583398073C120665830 @default.
W1583398073 hasConceptScore W1583398073C121332964 @default.
W1583398073 hasConceptScore W1583398073C134306372 @default.
W1583398073 hasConceptScore W1583398073C136119220 @default.
W1583398073 hasConceptScore W1583398073C138885662 @default.
W1583398073 hasConceptScore W1583398073C154945302 @default.
W1583398073 hasConceptScore W1583398073C15569618 @default.
W1583398073 hasConceptScore W1583398073C192209626 @default.
W1583398073 hasConceptScore W1583398073C195344581 @default.
W1583398073 hasConceptScore W1583398073C199360897 @default.
W1583398073 hasConceptScore W1583398073C202444582 @default.
W1583398073 hasConceptScore W1583398073C206880738 @default.
W1583398073 hasConceptScore W1583398073C2780586882 @default.
W1583398073 hasConceptScore W1583398073C33923547 @default.
W1583398073 hasConceptScore W1583398073C41008148 @default.
W1583398073 hasConceptScore W1583398073C42058472 @default.
W1583398073 hasConceptScore W1583398073C4554734 @default.
W1583398073 hasConceptScore W1583398073C50897621 @default.
W1583398073 hasConceptScore W1583398073C80444323 @default.
W1583398073 hasConceptScore W1583398073C9376300 @default.
W1583398073 hasLocation W15833980731 @default.
W1583398073 hasOpenAccess W1583398073 @default.
W1583398073 hasPrimaryLocation W15833980731 @default.
W1583398073 hasRelatedWork W1497557854 @default.
W1583398073 hasRelatedWork W1517599010 @default.
W1583398073 hasRelatedWork W1519991979 @default.
W1583398073 hasRelatedWork W1525737662 @default.
W1583398073 hasRelatedWork W1584852451 @default.
W1583398073 hasRelatedWork W1758843996 @default.
W1583398073 hasRelatedWork W1762364904 @default.
W1583398073 hasRelatedWork W202642932 @default.
W1583398073 hasRelatedWork W2103039937 @default.
W1583398073 hasRelatedWork W2108661280 @default.
W1583398073 hasRelatedWork W2142750460 @default.
W1583398073 hasRelatedWork W2529657190 @default.
W1583398073 hasRelatedWork W2563639488 @default.
W1583398073 hasRelatedWork W2592839518 @default.
W1583398073 hasRelatedWork W2975454041 @default.
W1583398073 hasRelatedWork W3184275293 @default.
W1583398073 hasRelatedWork W67968079 @default.
W1583398073 hasRelatedWork W1574793289 @default.