Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544206522> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1544206522 endingPage "631" @default.
- W1544206522 startingPage "620" @default.
- W1544206522 abstract "Timed automata are a widely studied model for real-time systems. Since 8 years, several tools implement this model and are successfully used to verify real-life examples. In spite of this well-established framework, we prove that the forward analysis algorithm implemented in these tools is not correct! However, we also prove that it is correct for a restricted class of timed automata, which has been sufficient for modeling numerous real-life systems." @default.
- W1544206522 created "2016-06-24" @default.
- W1544206522 creator A5041884792 @default.
- W1544206522 date "2003-01-01" @default.
- W1544206522 modified "2023-10-08" @default.
- W1544206522 title "Untameable Timed Automata!" @default.
- W1544206522 cites W1489973483 @default.
- W1544206522 cites W1505030820 @default.
- W1544206522 cites W1569530399 @default.
- W1544206522 cites W1574289075 @default.
- W1544206522 cites W1589336320 @default.
- W1544206522 cites W1599105192 @default.
- W1544206522 cites W1607529814 @default.
- W1544206522 cites W1608292181 @default.
- W1544206522 cites W1690546704 @default.
- W1544206522 cites W1846929317 @default.
- W1544206522 cites W1865292956 @default.
- W1544206522 cites W1874725288 @default.
- W1544206522 cites W1874996599 @default.
- W1544206522 cites W2000947342 @default.
- W1544206522 cites W203832094 @default.
- W1544206522 cites W2060095702 @default.
- W1544206522 cites W2065323166 @default.
- W1544206522 cites W2100271265 @default.
- W1544206522 cites W2101508170 @default.
- W1544206522 cites W2116391427 @default.
- W1544206522 cites W2139796094 @default.
- W1544206522 cites W2160883697 @default.
- W1544206522 cites W2263917381 @default.
- W1544206522 cites W5574567 @default.
- W1544206522 doi "https://doi.org/10.1007/3-540-36494-3_54" @default.
- W1544206522 hasPublicationYear "2003" @default.
- W1544206522 type Work @default.
- W1544206522 sameAs 1544206522 @default.
- W1544206522 citedByCount "57" @default.
- W1544206522 countsByYear W15442065222012 @default.
- W1544206522 countsByYear W15442065222013 @default.
- W1544206522 countsByYear W15442065222014 @default.
- W1544206522 countsByYear W15442065222016 @default.
- W1544206522 countsByYear W15442065222017 @default.
- W1544206522 countsByYear W15442065222018 @default.
- W1544206522 countsByYear W15442065222019 @default.
- W1544206522 countsByYear W15442065222020 @default.
- W1544206522 countsByYear W15442065222022 @default.
- W1544206522 countsByYear W15442065222023 @default.
- W1544206522 crossrefType "book-chapter" @default.
- W1544206522 hasAuthorship W1544206522A5041884792 @default.
- W1544206522 hasBestOaLocation W15442065222 @default.
- W1544206522 hasConcept C112505250 @default.
- W1544206522 hasConcept C11413529 @default.
- W1544206522 hasConcept C154945302 @default.
- W1544206522 hasConcept C2777212361 @default.
- W1544206522 hasConcept C30788636 @default.
- W1544206522 hasConcept C41008148 @default.
- W1544206522 hasConcept C80444323 @default.
- W1544206522 hasConceptScore W1544206522C112505250 @default.
- W1544206522 hasConceptScore W1544206522C11413529 @default.
- W1544206522 hasConceptScore W1544206522C154945302 @default.
- W1544206522 hasConceptScore W1544206522C2777212361 @default.
- W1544206522 hasConceptScore W1544206522C30788636 @default.
- W1544206522 hasConceptScore W1544206522C41008148 @default.
- W1544206522 hasConceptScore W1544206522C80444323 @default.
- W1544206522 hasLocation W15442065221 @default.
- W1544206522 hasLocation W15442065222 @default.
- W1544206522 hasOpenAccess W1544206522 @default.
- W1544206522 hasPrimaryLocation W15442065221 @default.
- W1544206522 hasRelatedWork W1486144438 @default.
- W1544206522 hasRelatedWork W1582650717 @default.
- W1544206522 hasRelatedWork W1991609533 @default.
- W1544206522 hasRelatedWork W2021255060 @default.
- W1544206522 hasRelatedWork W2120347230 @default.
- W1544206522 hasRelatedWork W2196692106 @default.
- W1544206522 hasRelatedWork W2368796975 @default.
- W1544206522 hasRelatedWork W2740942814 @default.
- W1544206522 hasRelatedWork W2602338684 @default.
- W1544206522 hasRelatedWork W2751931981 @default.
- W1544206522 isParatext "false" @default.
- W1544206522 isRetracted "false" @default.
- W1544206522 magId "1544206522" @default.
- W1544206522 workType "book-chapter" @default.