Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105255752> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2105255752 endingPage "93" @default.
- W2105255752 startingPage "84" @default.
- W2105255752 abstract "We present an overview of the results of the project Beyond Timed Automata of the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) during the period 2008---2011, which advances the automatic verification of high-level specifications of systems exhibiting the three dimensions of process behavior, complex infinite data, and continuous real-time--beyond the capabilities of Timed Automata." @default.
- W2105255752 created "2016-06-24" @default.
- W2105255752 creator A5084773409 @default.
- W2105255752 date "2012-01-01" @default.
- W2105255752 modified "2023-09-28" @default.
- W2105255752 title "Automatic Verification of Real-Time Systems with Rich Data: An Overview" @default.
- W2105255752 cites W1484186647 @default.
- W2105255752 cites W1485298279 @default.
- W2105255752 cites W1489220439 @default.
- W2105255752 cites W1499231916 @default.
- W2105255752 cites W1511737804 @default.
- W2105255752 cites W1527235814 @default.
- W2105255752 cites W1545693302 @default.
- W2105255752 cites W1554063762 @default.
- W2105255752 cites W1573267491 @default.
- W2105255752 cites W1600824897 @default.
- W2105255752 cites W1601331371 @default.
- W2105255752 cites W1841626152 @default.
- W2105255752 cites W1880689432 @default.
- W2105255752 cites W1904803564 @default.
- W2105255752 cites W2020801438 @default.
- W2105255752 cites W2042601303 @default.
- W2105255752 cites W2048551412 @default.
- W2105255752 cites W2103882301 @default.
- W2105255752 cites W2112350720 @default.
- W2105255752 cites W2128090891 @default.
- W2105255752 cites W2133514269 @default.
- W2105255752 cites W2138362538 @default.
- W2105255752 cites W2142413483 @default.
- W2105255752 cites W2147832077 @default.
- W2105255752 cites W2263917381 @default.
- W2105255752 cites W2294334272 @default.
- W2105255752 cites W2410522319 @default.
- W2105255752 cites W2911382519 @default.
- W2105255752 cites W3201256648 @default.
- W2105255752 cites W4253182982 @default.
- W2105255752 doi "https://doi.org/10.1007/978-3-642-29952-0_14" @default.
- W2105255752 hasPublicationYear "2012" @default.
- W2105255752 type Work @default.
- W2105255752 sameAs 2105255752 @default.
- W2105255752 citedByCount "1" @default.
- W2105255752 countsByYear W21052557522015 @default.
- W2105255752 crossrefType "book-chapter" @default.
- W2105255752 hasAuthorship W2105255752A5084773409 @default.
- W2105255752 hasBestOaLocation W21052557522 @default.
- W2105255752 hasConcept C110251889 @default.
- W2105255752 hasConcept C111498074 @default.
- W2105255752 hasConcept C112505250 @default.
- W2105255752 hasConcept C115903868 @default.
- W2105255752 hasConcept C124101348 @default.
- W2105255752 hasConcept C199360897 @default.
- W2105255752 hasConcept C30788636 @default.
- W2105255752 hasConcept C41008148 @default.
- W2105255752 hasConcept C80444323 @default.
- W2105255752 hasConcept C98045186 @default.
- W2105255752 hasConceptScore W2105255752C110251889 @default.
- W2105255752 hasConceptScore W2105255752C111498074 @default.
- W2105255752 hasConceptScore W2105255752C112505250 @default.
- W2105255752 hasConceptScore W2105255752C115903868 @default.
- W2105255752 hasConceptScore W2105255752C124101348 @default.
- W2105255752 hasConceptScore W2105255752C199360897 @default.
- W2105255752 hasConceptScore W2105255752C30788636 @default.
- W2105255752 hasConceptScore W2105255752C41008148 @default.
- W2105255752 hasConceptScore W2105255752C80444323 @default.
- W2105255752 hasConceptScore W2105255752C98045186 @default.
- W2105255752 hasLocation W21052557521 @default.
- W2105255752 hasLocation W21052557522 @default.
- W2105255752 hasOpenAccess W2105255752 @default.
- W2105255752 hasPrimaryLocation W21052557521 @default.
- W2105255752 hasRelatedWork W130102441 @default.
- W2105255752 hasRelatedWork W1489220439 @default.
- W2105255752 hasRelatedWork W1494199633 @default.
- W2105255752 hasRelatedWork W1526491740 @default.
- W2105255752 hasRelatedWork W1568606266 @default.
- W2105255752 hasRelatedWork W1582195294 @default.
- W2105255752 hasRelatedWork W1603082437 @default.
- W2105255752 hasRelatedWork W1832926089 @default.
- W2105255752 hasRelatedWork W1903000972 @default.
- W2105255752 hasRelatedWork W1970901627 @default.
- W2105255752 hasRelatedWork W1971445875 @default.
- W2105255752 hasRelatedWork W2006325844 @default.
- W2105255752 hasRelatedWork W2006984763 @default.
- W2105255752 hasRelatedWork W2097309823 @default.
- W2105255752 hasRelatedWork W2131326529 @default.
- W2105255752 hasRelatedWork W2363044426 @default.
- W2105255752 hasRelatedWork W2384984106 @default.
- W2105255752 hasRelatedWork W2535152828 @default.
- W2105255752 hasRelatedWork W2617581438 @default.
- W2105255752 hasRelatedWork W3140736310 @default.
- W2105255752 isParatext "false" @default.
- W2105255752 isRetracted "false" @default.
- W2105255752 magId "2105255752" @default.
- W2105255752 workType "book-chapter" @default.