Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006251397> ?p ?o ?g. }
- W2006251397 created "2016-06-24" @default.
- W2006251397 creator A5031771514 @default.
- W2006251397 creator A5081184867 @default.
- W2006251397 creator A5090624553 @default.
- W2006251397 date "2010-05-21" @default.
- W2006251397 modified "2023-10-14" @default.
- W2006251397 title "A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata" @default.
- W2006251397 cites W1485584666 @default.
- W2006251397 cites W1525967073 @default.
- W2006251397 cites W1527925700 @default.
- W2006251397 cites W1534067655 @default.
- W2006251397 cites W1540129897 @default.
- W2006251397 cites W1550659912 @default.
- W2006251397 cites W1555593767 @default.
- W2006251397 cites W1565618245 @default.
- W2006251397 cites W1600541802 @default.
- W2006251397 cites W1635116973 @default.
- W2006251397 cites W1813788325 @default.
- W2006251397 cites W1820785953 @default.
- W2006251397 cites W1865218796 @default.
- W2006251397 cites W1955710548 @default.
- W2006251397 cites W2021473546 @default.
- W2006251397 cites W2055960145 @default.
- W2006251397 cites W2085838366 @default.
- W2006251397 cites W2101508170 @default.
- W2006251397 cites W2117218135 @default.
- W2006251397 cites W2124778357 @default.
- W2006251397 cites W2125281005 @default.
- W2006251397 cites W2142880957 @default.
- W2006251397 cites W2166802518 @default.
- W2006251397 cites W2705736171 @default.
- W2006251397 doi "https://doi.org/10.1007/s10009-010-0161-y" @default.
- W2006251397 hasPublicationYear "2010" @default.
- W2006251397 type Work @default.
- W2006251397 sameAs 2006251397 @default.
- W2006251397 citedByCount "3" @default.
- W2006251397 countsByYear W20062513972013 @default.
- W2006251397 countsByYear W20062513972015 @default.
- W2006251397 countsByYear W20062513972021 @default.
- W2006251397 crossrefType "journal-article" @default.
- W2006251397 hasAuthorship W2006251397A5031771514 @default.
- W2006251397 hasAuthorship W2006251397A5081184867 @default.
- W2006251397 hasAuthorship W2006251397A5090624553 @default.
- W2006251397 hasConcept C102993220 @default.
- W2006251397 hasConcept C112505250 @default.
- W2006251397 hasConcept C11413529 @default.
- W2006251397 hasConcept C134306372 @default.
- W2006251397 hasConcept C135315306 @default.
- W2006251397 hasConcept C136643341 @default.
- W2006251397 hasConcept C184337299 @default.
- W2006251397 hasConcept C185592680 @default.
- W2006251397 hasConcept C188027245 @default.
- W2006251397 hasConcept C199360897 @default.
- W2006251397 hasConcept C203659156 @default.
- W2006251397 hasConcept C24858836 @default.
- W2006251397 hasConcept C26517878 @default.
- W2006251397 hasConcept C2776235265 @default.
- W2006251397 hasConcept C33923547 @default.
- W2006251397 hasConcept C34388435 @default.
- W2006251397 hasConcept C38652104 @default.
- W2006251397 hasConcept C41008148 @default.
- W2006251397 hasConcept C71139939 @default.
- W2006251397 hasConcept C78344899 @default.
- W2006251397 hasConcept C80444323 @default.
- W2006251397 hasConceptScore W2006251397C102993220 @default.
- W2006251397 hasConceptScore W2006251397C112505250 @default.
- W2006251397 hasConceptScore W2006251397C11413529 @default.
- W2006251397 hasConceptScore W2006251397C134306372 @default.
- W2006251397 hasConceptScore W2006251397C135315306 @default.
- W2006251397 hasConceptScore W2006251397C136643341 @default.
- W2006251397 hasConceptScore W2006251397C184337299 @default.
- W2006251397 hasConceptScore W2006251397C185592680 @default.
- W2006251397 hasConceptScore W2006251397C188027245 @default.
- W2006251397 hasConceptScore W2006251397C199360897 @default.
- W2006251397 hasConceptScore W2006251397C203659156 @default.
- W2006251397 hasConceptScore W2006251397C24858836 @default.
- W2006251397 hasConceptScore W2006251397C26517878 @default.
- W2006251397 hasConceptScore W2006251397C2776235265 @default.
- W2006251397 hasConceptScore W2006251397C33923547 @default.
- W2006251397 hasConceptScore W2006251397C34388435 @default.
- W2006251397 hasConceptScore W2006251397C38652104 @default.
- W2006251397 hasConceptScore W2006251397C41008148 @default.
- W2006251397 hasConceptScore W2006251397C71139939 @default.
- W2006251397 hasConceptScore W2006251397C78344899 @default.
- W2006251397 hasConceptScore W2006251397C80444323 @default.
- W2006251397 hasLocation W20062513971 @default.
- W2006251397 hasOpenAccess W2006251397 @default.
- W2006251397 hasPrimaryLocation W20062513971 @default.
- W2006251397 hasRelatedWork W1576762382 @default.
- W2006251397 hasRelatedWork W1587299948 @default.
- W2006251397 hasRelatedWork W1591242928 @default.
- W2006251397 hasRelatedWork W1592696017 @default.
- W2006251397 hasRelatedWork W1770936898 @default.
- W2006251397 hasRelatedWork W1988432838 @default.
- W2006251397 hasRelatedWork W2029220517 @default.
- W2006251397 hasRelatedWork W2039697589 @default.
- W2006251397 hasRelatedWork W2068639451 @default.
- W2006251397 hasRelatedWork W2082763846 @default.
- W2006251397 hasRelatedWork W2105443946 @default.
- W2006251397 hasRelatedWork W2113029157 @default.