FRINK Linked Data Fragments server

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

• W1989746243 endingPage "134" @default.
• W1989746243 startingPage "116" @default.
• W1989746243 abstract "Given a timed automaton M , a linear temporal logic formula φ, and a bound k , bounded model checking for timed automata determines if there is a falsifying path of length k to the hypothesis that M satisfies the specification φ. This problem can be reduced to the satisfiability problem for Boolean constraint formulas over linear arithmetic constraints. We show that bounded model checking for timed automata is complete, and we give lower and upper bounds for the length k of counterexamples. Moreover, we define bounded model checking for networks of timed automata in a compositional way." @default.
• W1989746243 created "2016-06-24" @default.
• W1989746243 creator A5026532148 @default.
• W1989746243 date "2003-05-01" @default.
• W1989746243 modified "2023-09-23" @default.
• W1989746243 title "Bounded Model Checking for Timed Automata1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096." @default.
• W1989746243 cites W1490969264 @default.
• W1989746243 cites W1495026145 @default.
• W1989746243 cites W1534850143 @default.
• W1989746243 cites W1540883472 @default.
• W1989746243 cites W1550626198 @default.
• W1989746243 cites W1568333198 @default.
• W1989746243 cites W1571054242 @default.
• W1989746243 cites W1751719170 @default.
• W1989746243 cites W1819209966 @default.
• W1989746243 cites W1834186039 @default.
• W1989746243 cites W1874725288 @default.
• W1989746243 cites W1905380539 @default.
• W1989746243 cites W2000947342 @default.
• W1989746243 cites W2080267935 @default.
• W1989746243 cites W2090286414 @default.
• W1989746243 cites W2101508170 @default.
• W1989746243 cites W2130773092 @default.
• W1989746243 cites W2131064738 @default.
• W1989746243 cites W2166071597 @default.
• W1989746243 cites W4253563042 @default.
• W1989746243 doi "https://doi.org/10.1016/s1571-0661(04)80523-1" @default.
• W1989746243 hasPublicationYear "2003" @default.
• W1989746243 type Work @default.
• W1989746243 sameAs 1989746243 @default.
• W1989746243 citedByCount "48" @default.
• W1989746243 countsByYear W19897462432012 @default.
• W1989746243 countsByYear W19897462432013 @default.
• W1989746243 countsByYear W19897462432014 @default.
• W1989746243 countsByYear W19897462432015 @default.
• W1989746243 countsByYear W19897462432018 @default.
• W1989746243 countsByYear W19897462432019 @default.
• W1989746243 countsByYear W19897462432020 @default.
• W1989746243 countsByYear W19897462432021 @default.
• W1989746243 countsByYear W19897462432022 @default.
• W1989746243 countsByYear W19897462432023 @default.
• W1989746243 crossrefType "journal-article" @default.
• W1989746243 hasAuthorship W1989746243A5026532148 @default.
• W1989746243 hasBestOaLocation W19897462431 @default.
• W1989746243 hasConcept C110251889 @default.
• W1989746243 hasConcept C112505250 @default.
• W1989746243 hasConcept C11413529 @default.
• W1989746243 hasConcept C118615104 @default.
• W1989746243 hasConcept C134306372 @default.
• W1989746243 hasConcept C152062344 @default.
• W1989746243 hasConcept C162838799 @default.
• W1989746243 hasConcept C168773769 @default.
• W1989746243 hasConcept C199360897 @default.
• W1989746243 hasConcept C2524010 @default.
• W1989746243 hasConcept C2776036281 @default.
• W1989746243 hasConcept C2777735758 @default.
• W1989746243 hasConcept C30788636 @default.
• W1989746243 hasConcept C33923547 @default.
• W1989746243 hasConcept C34388435 @default.
• W1989746243 hasConcept C41008148 @default.
• W1989746243 hasConcept C77553402 @default.
• W1989746243 hasConcept C80444323 @default.
• W1989746243 hasConceptScore W1989746243C110251889 @default.
• W1989746243 hasConceptScore W1989746243C112505250 @default.
• W1989746243 hasConceptScore W1989746243C11413529 @default.
• W1989746243 hasConceptScore W1989746243C118615104 @default.
• W1989746243 hasConceptScore W1989746243C134306372 @default.
• W1989746243 hasConceptScore W1989746243C152062344 @default.
• W1989746243 hasConceptScore W1989746243C162838799 @default.
• W1989746243 hasConceptScore W1989746243C168773769 @default.
• W1989746243 hasConceptScore W1989746243C199360897 @default.
• W1989746243 hasConceptScore W1989746243C2524010 @default.
• W1989746243 hasConceptScore W1989746243C2776036281 @default.
• W1989746243 hasConceptScore W1989746243C2777735758 @default.
• W1989746243 hasConceptScore W1989746243C30788636 @default.
• W1989746243 hasConceptScore W1989746243C33923547 @default.
• W1989746243 hasConceptScore W1989746243C34388435 @default.
• W1989746243 hasConceptScore W1989746243C41008148 @default.
• W1989746243 hasConceptScore W1989746243C77553402 @default.
• W1989746243 hasConceptScore W1989746243C80444323 @default.
• W1989746243 hasIssue "5" @default.
• W1989746243 hasLocation W19897462431 @default.
• W1989746243 hasOpenAccess W1989746243 @default.
• W1989746243 hasPrimaryLocation W19897462431 @default.
• W1989746243 hasRelatedWork W1550626198 @default.
• W1989746243 hasRelatedWork W1607936103 @default.
• W1989746243 hasRelatedWork W1608856655 @default.
• W1989746243 hasRelatedWork W1989746243 @default.
• W1989746243 hasRelatedWork W208003710 @default.
• W1989746243 hasRelatedWork W2394666913 @default.
• W1989746243 hasRelatedWork W2400691703 @default.
• W1989746243 hasRelatedWork W2922881962 @default.
• W1989746243 hasRelatedWork W3013762975 @default.
• W1989746243 hasRelatedWork W2098505979 @default.
• W1989746243 hasVolume "68" @default.
• W1989746243 isParatext "false" @default.
• W1989746243 isRetracted "false" @default.
• W1989746243 magId "1989746243" @default.

• next