FRINK Linked Data Fragments server

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

• W2280974750 abstract "Given a member A of the class of non-deterministic timed automata with silent transitions (eNTA), we effectively compute its timestamp: the set of all pairs (time value, action) of all observable timed traces of A, a generalization of the reachability problem. We show that the timestamp is eventually periodic and that one can compute a simple deterministic timed automaton with the same timestamp as that of A. As a consequence, we have a partial method, not bounded by time or number of steps, for the general language non-inclusion problem for eNTA. We also show that the language of A is periodic with respect to suffixes." @default.
• W2280974750 created "2016-06-24" @default.
• W2280974750 creator A5014949895 @default.
• W2280974750 date "2014-12-17" @default.
• W2280974750 modified "2023-10-01" @default.
• W2280974750 title "The Timestamp of Timed Automata" @default.
• W2280974750 cites W1482486776 @default.
• W2280974750 cites W1505030820 @default.
• W2280974750 cites W1506670447 @default.
• W2280974750 cites W1515378123 @default.
• W2280974750 cites W1549584764 @default.
• W2280974750 cites W1551781434 @default.
• W2280974750 cites W1558869278 @default.
• W2280974750 cites W1589082502 @default.
• W2280974750 cites W1589336320 @default.
• W2280974750 cites W1717955622 @default.
• W2280974750 cites W1862398452 @default.
• W2280974750 cites W1872998830 @default.
• W2280974750 cites W2000947342 @default.
• W2280974750 cites W2083964867 @default.
• W2280974750 cites W2100271265 @default.
• W2280974750 cites W2101508170 @default.
• W2280974750 cites W2128797960 @default.
• W2280974750 cites W2142830749 @default.
• W2280974750 cites W2144360108 @default.
• W2280974750 cites W2148906857 @default.
• W2280974750 cites W2156016854 @default.
• W2280974750 cites W2164502223 @default.
• W2280974750 cites W2950768379 @default.
• W2280974750 hasPublicationYear "2014" @default.
• W2280974750 type Work @default.
• W2280974750 sameAs 2280974750 @default.
• W2280974750 citedByCount "0" @default.
• W2280974750 crossrefType "posted-content" @default.
• W2280974750 hasAuthorship W2280974750A5014949895 @default.
• W2280974750 hasConcept C112505250 @default.
• W2280974750 hasConcept C113954288 @default.
• W2280974750 hasConcept C121332964 @default.
• W2280974750 hasConcept C127162648 @default.
• W2280974750 hasConcept C134306372 @default.
• W2280974750 hasConcept C136643341 @default.
• W2280974750 hasConcept C154945302 @default.
• W2280974750 hasConcept C177148314 @default.
• W2280974750 hasConcept C177264268 @default.
• W2280974750 hasConcept C199360897 @default.
• W2280974750 hasConcept C2777212361 @default.
• W2280974750 hasConcept C2778562939 @default.
• W2280974750 hasConcept C30788636 @default.
• W2280974750 hasConcept C31258907 @default.
• W2280974750 hasConcept C32848918 @default.
• W2280974750 hasConcept C33923547 @default.
• W2280974750 hasConcept C34388435 @default.
• W2280974750 hasConcept C41008148 @default.
• W2280974750 hasConcept C62520636 @default.
• W2280974750 hasConcept C79403827 @default.
• W2280974750 hasConcept C80444323 @default.
• W2280974750 hasConceptScore W2280974750C112505250 @default.
• W2280974750 hasConceptScore W2280974750C113954288 @default.
• W2280974750 hasConceptScore W2280974750C121332964 @default.
• W2280974750 hasConceptScore W2280974750C127162648 @default.
• W2280974750 hasConceptScore W2280974750C134306372 @default.
• W2280974750 hasConceptScore W2280974750C136643341 @default.
• W2280974750 hasConceptScore W2280974750C154945302 @default.
• W2280974750 hasConceptScore W2280974750C177148314 @default.
• W2280974750 hasConceptScore W2280974750C177264268 @default.
• W2280974750 hasConceptScore W2280974750C199360897 @default.
• W2280974750 hasConceptScore W2280974750C2777212361 @default.
• W2280974750 hasConceptScore W2280974750C2778562939 @default.
• W2280974750 hasConceptScore W2280974750C30788636 @default.
• W2280974750 hasConceptScore W2280974750C31258907 @default.
• W2280974750 hasConceptScore W2280974750C32848918 @default.
• W2280974750 hasConceptScore W2280974750C33923547 @default.
• W2280974750 hasConceptScore W2280974750C34388435 @default.
• W2280974750 hasConceptScore W2280974750C41008148 @default.
• W2280974750 hasConceptScore W2280974750C62520636 @default.
• W2280974750 hasConceptScore W2280974750C79403827 @default.
• W2280974750 hasConceptScore W2280974750C80444323 @default.
• W2280974750 hasLocation W22809747501 @default.
• W2280974750 hasOpenAccess W2280974750 @default.
• W2280974750 hasPrimaryLocation W22809747501 @default.
• W2280974750 hasRelatedWork W1492412487 @default.
• W2280974750 hasRelatedWork W1502355723 @default.
• W2280974750 hasRelatedWork W15609906 @default.
• W2280974750 hasRelatedWork W1579065239 @default.
• W2280974750 hasRelatedWork W1589336320 @default.
• W2280974750 hasRelatedWork W1592235141 @default.
• W2280974750 hasRelatedWork W1761968866 @default.
• W2280974750 hasRelatedWork W1950196767 @default.
• W2280974750 hasRelatedWork W1989746243 @default.
• W2280974750 hasRelatedWork W2045909926 @default.
• W2280974750 hasRelatedWork W2128797960 @default.
• W2280974750 hasRelatedWork W2168110878 @default.
• W2280974750 hasRelatedWork W2750365608 @default.
• W2280974750 hasRelatedWork W2786142493 @default.
• W2280974750 hasRelatedWork W2888623430 @default.
• W2280974750 hasRelatedWork W3038019230 @default.
• W2280974750 hasRelatedWork W419990173 @default.
• W2280974750 hasRelatedWork W806849476 @default.
• W2280974750 hasRelatedWork W1495310052 @default.
• W2280974750 hasRelatedWork W2127101272 @default.

• next