Matches in SemOpenAlex for { <https://semopenalex.org/work/W2390271751> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2390271751 abstract "Some linear real-time properties can not be verified automatically because dense timed automata are not closed under complement operation.Discrete timed automata can be used to model checking discrete regular properties,but the express power of them is weak.A novel procedure was given to construct discrete timed automata from their dense time version.For physical factors of clock constrain,the new algorithm was used to solve the problem above efficiently." @default.
- W2390271751 created "2016-06-24" @default.
- W2390271751 creator A5091337485 @default.
- W2390271751 date "2011-01-01" @default.
- W2390271751 modified "2023-09-25" @default.
- W2390271751 title "Novel Algorithm for Discretization of Clocks of Timed Automata" @default.
- W2390271751 hasPublicationYear "2011" @default.
- W2390271751 type Work @default.
- W2390271751 sameAs 2390271751 @default.
- W2390271751 citedByCount "0" @default.
- W2390271751 crossrefType "journal-article" @default.
- W2390271751 hasAuthorship W2390271751A5091337485 @default.
- W2390271751 hasConcept C104317684 @default.
- W2390271751 hasConcept C112313634 @default.
- W2390271751 hasConcept C112505250 @default.
- W2390271751 hasConcept C11413529 @default.
- W2390271751 hasConcept C127716648 @default.
- W2390271751 hasConcept C134306372 @default.
- W2390271751 hasConcept C185592680 @default.
- W2390271751 hasConcept C188082640 @default.
- W2390271751 hasConcept C195818886 @default.
- W2390271751 hasConcept C199360897 @default.
- W2390271751 hasConcept C2780801425 @default.
- W2390271751 hasConcept C30788636 @default.
- W2390271751 hasConcept C33923547 @default.
- W2390271751 hasConcept C41008148 @default.
- W2390271751 hasConcept C55493867 @default.
- W2390271751 hasConcept C73000952 @default.
- W2390271751 hasConcept C80444323 @default.
- W2390271751 hasConceptScore W2390271751C104317684 @default.
- W2390271751 hasConceptScore W2390271751C112313634 @default.
- W2390271751 hasConceptScore W2390271751C112505250 @default.
- W2390271751 hasConceptScore W2390271751C11413529 @default.
- W2390271751 hasConceptScore W2390271751C127716648 @default.
- W2390271751 hasConceptScore W2390271751C134306372 @default.
- W2390271751 hasConceptScore W2390271751C185592680 @default.
- W2390271751 hasConceptScore W2390271751C188082640 @default.
- W2390271751 hasConceptScore W2390271751C195818886 @default.
- W2390271751 hasConceptScore W2390271751C199360897 @default.
- W2390271751 hasConceptScore W2390271751C2780801425 @default.
- W2390271751 hasConceptScore W2390271751C30788636 @default.
- W2390271751 hasConceptScore W2390271751C33923547 @default.
- W2390271751 hasConceptScore W2390271751C41008148 @default.
- W2390271751 hasConceptScore W2390271751C55493867 @default.
- W2390271751 hasConceptScore W2390271751C73000952 @default.
- W2390271751 hasConceptScore W2390271751C80444323 @default.
- W2390271751 hasLocation W23902717511 @default.
- W2390271751 hasOpenAccess W2390271751 @default.
- W2390271751 hasPrimaryLocation W23902717511 @default.
- W2390271751 hasRelatedWork W1486144438 @default.
- W2390271751 hasRelatedWork W1499997116 @default.
- W2390271751 hasRelatedWork W1500871829 @default.
- W2390271751 hasRelatedWork W1517942155 @default.
- W2390271751 hasRelatedWork W1522276539 @default.
- W2390271751 hasRelatedWork W1601091540 @default.
- W2390271751 hasRelatedWork W1811640772 @default.
- W2390271751 hasRelatedWork W1880663844 @default.
- W2390271751 hasRelatedWork W1894019848 @default.
- W2390271751 hasRelatedWork W2006984763 @default.
- W2390271751 hasRelatedWork W2082762653 @default.
- W2390271751 hasRelatedWork W2097309823 @default.
- W2390271751 hasRelatedWork W2121789641 @default.
- W2390271751 hasRelatedWork W2133170941 @default.
- W2390271751 hasRelatedWork W2141300974 @default.
- W2390271751 hasRelatedWork W2242084152 @default.
- W2390271751 hasRelatedWork W2251374851 @default.
- W2390271751 hasRelatedWork W2373389320 @default.
- W2390271751 hasRelatedWork W2950940436 @default.
- W2390271751 hasRelatedWork W1920168419 @default.
- W2390271751 isParatext "false" @default.
- W2390271751 isRetracted "false" @default.
- W2390271751 magId "2390271751" @default.
- W2390271751 workType "article" @default.