Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299615268> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4299615268 abstract "This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow false location invariants. Corrected con- structions are presented in this note, and the affected results are reproved." @default.
- W4299615268 created "2022-10-02" @default.
- W4299615268 creator A5010819147 @default.
- W4299615268 creator A5016408902 @default.
- W4299615268 creator A5038103084 @default.
- W4299615268 date "2016-02-23" @default.
- W4299615268 modified "2023-09-30" @default.
- W4299615268 title "Corrections to A Menagerie of Timed Automata" @default.
- W4299615268 doi "https://doi.org/10.48550/arxiv.1602.07165" @default.
- W4299615268 hasPublicationYear "2016" @default.
- W4299615268 type Work @default.
- W4299615268 citedByCount "0" @default.
- W4299615268 crossrefType "posted-content" @default.
- W4299615268 hasAuthorship W4299615268A5010819147 @default.
- W4299615268 hasAuthorship W4299615268A5016408902 @default.
- W4299615268 hasAuthorship W4299615268A5038103084 @default.
- W4299615268 hasBestOaLocation W42996152681 @default.
- W4299615268 hasConcept C112505250 @default.
- W4299615268 hasConcept C11413529 @default.
- W4299615268 hasConcept C166957645 @default.
- W4299615268 hasConcept C199360897 @default.
- W4299615268 hasConcept C205649164 @default.
- W4299615268 hasConcept C2780461518 @default.
- W4299615268 hasConcept C30788636 @default.
- W4299615268 hasConcept C41008148 @default.
- W4299615268 hasConcept C80444323 @default.
- W4299615268 hasConceptScore W4299615268C112505250 @default.
- W4299615268 hasConceptScore W4299615268C11413529 @default.
- W4299615268 hasConceptScore W4299615268C166957645 @default.
- W4299615268 hasConceptScore W4299615268C199360897 @default.
- W4299615268 hasConceptScore W4299615268C205649164 @default.
- W4299615268 hasConceptScore W4299615268C2780461518 @default.
- W4299615268 hasConceptScore W4299615268C30788636 @default.
- W4299615268 hasConceptScore W4299615268C41008148 @default.
- W4299615268 hasConceptScore W4299615268C80444323 @default.
- W4299615268 hasLocation W42996152681 @default.
- W4299615268 hasLocation W42996152682 @default.
- W4299615268 hasLocation W42996152683 @default.
- W4299615268 hasOpenAccess W4299615268 @default.
- W4299615268 hasPrimaryLocation W42996152681 @default.
- W4299615268 hasRelatedWork W1486144438 @default.
- W4299615268 hasRelatedWork W1534000780 @default.
- W4299615268 hasRelatedWork W2120347230 @default.
- W4299615268 hasRelatedWork W2196692106 @default.
- W4299615268 hasRelatedWork W2368796975 @default.
- W4299615268 hasRelatedWork W2569130014 @default.
- W4299615268 hasRelatedWork W2950860115 @default.
- W4299615268 hasRelatedWork W2462343658 @default.
- W4299615268 hasRelatedWork W2602338684 @default.
- W4299615268 hasRelatedWork W2751931981 @default.
- W4299615268 isParatext "false" @default.
- W4299615268 isRetracted "false" @default.
- W4299615268 workType "article" @default.