FRINK Linked Data Fragments server

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

• W3102744803 endingPage "69" @default.
• W3102744803 startingPage "48" @default.
• W3102744803 abstract "We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations." @default.
• W3102744803 created "2020-11-23" @default.
• W3102744803 creator A5012209374 @default.
• W3102744803 date "2014-02-23" @default.
• W3102744803 modified "2023-10-18" @default.
• W3102744803 title "Algorithmic Verification of Continuous and Hybrid Systems" @default.
• W3102744803 cites W1489501223 @default.
• W3102744803 cites W1498285565 @default.
• W3102744803 cites W1499853177 @default.
• W3102744803 cites W1510285870 @default.
• W3102744803 cites W1519302343 @default.
• W3102744803 cites W1525967073 @default.
• W3102744803 cites W1532859487 @default.
• W3102744803 cites W1534714322 @default.
• W3102744803 cites W1538215585 @default.
• W3102744803 cites W1540897666 @default.
• W3102744803 cites W1541882523 @default.
• W3102744803 cites W1552094772 @default.
• W3102744803 cites W1561907491 @default.
• W3102744803 cites W1569051713 @default.
• W3102744803 cites W1569692898 @default.
• W3102744803 cites W1573076248 @default.
• W3102744803 cites W1576315473 @default.
• W3102744803 cites W1580809199 @default.
• W3102744803 cites W1583776740 @default.
• W3102744803 cites W1586383189 @default.
• W3102744803 cites W1586568018 @default.
• W3102744803 cites W1594130515 @default.
• W3102744803 cites W1604596197 @default.
• W3102744803 cites W1606189410 @default.
• W3102744803 cites W1606824214 @default.
• W3102744803 cites W1676597814 @default.
• W3102744803 cites W1726255445 @default.
• W3102744803 cites W1793594870 @default.
• W3102744803 cites W1905380539 @default.
• W3102744803 cites W1969816014 @default.
• W3102744803 cites W1975630497 @default.
• W3102744803 cites W1977985274 @default.
• W3102744803 cites W1979197687 @default.
• W3102744803 cites W1994348879 @default.
• W3102744803 cites W1998029012 @default.
• W3102744803 cites W1999016870 @default.
• W3102744803 cites W1999629321 @default.
• W3102744803 cites W2004463571 @default.
• W3102744803 cites W2015863039 @default.
• W3102744803 cites W2024772987 @default.
• W3102744803 cites W2033455284 @default.
• W3102744803 cites W2042835403 @default.
• W3102744803 cites W2043100293 @default.
• W3102744803 cites W2051110650 @default.
• W3102744803 cites W2060369194 @default.
• W3102744803 cites W2067142835 @default.
• W3102744803 cites W2080932760 @default.
• W3102744803 cites W2088029952 @default.
• W3102744803 cites W2099354898 @default.
• W3102744803 cites W2117218135 @default.
• W3102744803 cites W2127520982 @default.
• W3102744803 cites W2129965357 @default.
• W3102744803 cites W2131441094 @default.
• W3102744803 cites W2142091551 @default.
• W3102744803 cites W2153138255 @default.
• W3102744803 cites W2153803621 @default.
• W3102744803 cites W2154679417 @default.
• W3102744803 cites W2162196264 @default.
• W3102744803 cites W2172184261 @default.
• W3102744803 cites W2176215692 @default.
• W3102744803 cites W2182272118 @default.
• W3102744803 cites W2487779201 @default.
• W3102744803 cites W2490736661 @default.
• W3102744803 cites W31566127 @default.
• W3102744803 cites W4206570602 @default.
• W3102744803 cites W4210718478 @default.
• W3102744803 cites W4236306094 @default.
• W3102744803 cites W4298255709 @default.
• W3102744803 cites W92641534 @default.
• W3102744803 doi "https://doi.org/10.4204/eptcs.140.4" @default.
• W3102744803 hasPublicationYear "2014" @default.
• W3102744803 type Work @default.
• W3102744803 sameAs 3102744803 @default.
• W3102744803 citedByCount "7" @default.
• W3102744803 countsByYear W31027448032015 @default.
• W3102744803 countsByYear W31027448032016 @default.
• W3102744803 countsByYear W31027448032017 @default.
• W3102744803 countsByYear W31027448032018 @default.
• W3102744803 countsByYear W31027448032020 @default.
• W3102744803 countsByYear W31027448032022 @default.
• W3102744803 crossrefType "journal-article" @default.
• W3102744803 hasAuthorship W3102744803A5012209374 @default.
• W3102744803 hasBestOaLocation W31027448031 @default.
• W3102744803 hasConcept C110251889 @default.
• W3102744803 hasConcept C111498074 @default.
• W3102744803 hasConcept C11413529 @default.
• W3102744803 hasConcept C119857082 @default.
• W3102744803 hasConcept C120314980 @default.
• W3102744803 hasConcept C136643341 @default.
• W3102744803 hasConcept C154945302 @default.
• W3102744803 hasConcept C2777212361 @default.
• W3102744803 hasConcept C41008148 @default.

• next