FRINK Linked Data Fragments server

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

• W2005998857 endingPage "535" @default.
• W2005998857 startingPage "512" @default.
• W2005998857 abstract "Abstract We present a logic for stating properties such as, “after a request for service there is at least a 98% probability that the service will be carried out within 2 seconds”. The logic extends the temporal logic CTL by Emerson, Clarke and Sistla with time and probabilities. Formulas are interpreted over discrete time Markov chains. We give algorithms for checking that a given Markov chain satisfies a formula in the logic. The algorithms require a polynomial number of arithmetic operations, in size of both the formula and the Markov chain. A simple example is included to illustrate the algorithms." @default.
• W2005998857 created "2016-06-24" @default.
• W2005998857 creator A5009514870 @default.
• W2005998857 creator A5010093986 @default.
• W2005998857 date "1994-09-01" @default.
• W2005998857 modified "2023-10-18" @default.
• W2005998857 title "A logic for reasoning about time and reliability" @default.
• W2005998857 cites W106209860 @default.
• W2005998857 cites W1490661246 @default.
• W2005998857 cites W1505738311 @default.
• W2005998857 cites W1575025334 @default.
• W2005998857 cites W1593651098 @default.
• W2005998857 cites W1596400039 @default.
• W2005998857 cites W1847096943 @default.
• W2005998857 cites W1885037678 @default.
• W2005998857 cites W1968947022 @default.
• W2005998857 cites W1970603830 @default.
• W2005998857 cites W1976936212 @default.
• W2005998857 cites W1977377326 @default.
• W2005998857 cites W1977621687 @default.
• W2005998857 cites W1978358700 @default.
• W2005998857 cites W1983707525 @default.
• W2005998857 cites W1986184086 @default.
• W2005998857 cites W1992008267 @default.
• W2005998857 cites W2038995301 @default.
• W2005998857 cites W2048355938 @default.
• W2005998857 cites W2051068608 @default.
• W2005998857 cites W2069979244 @default.
• W2005998857 cites W2071659383 @default.
• W2005998857 cites W2091188761 @default.
• W2005998857 cites W2117189826 @default.
• W2005998857 cites W2125110532 @default.
• W2005998857 cites W2125739093 @default.
• W2005998857 cites W2138695497 @default.
• W2005998857 cites W2142210186 @default.
• W2005998857 cites W2151786168 @default.
• W2005998857 cites W2152087710 @default.
• W2005998857 cites W2165161585 @default.
• W2005998857 cites W2166656159 @default.
• W2005998857 cites W3144065804 @default.
• W2005998857 cites W3144530589 @default.
• W2005998857 cites W4205228339 @default.
• W2005998857 cites W4229565515 @default.
• W2005998857 cites W71805816 @default.
• W2005998857 doi "https://doi.org/10.1007/bf01211866" @default.
• W2005998857 hasPublicationYear "1994" @default.
• W2005998857 type Work @default.
• W2005998857 sameAs 2005998857 @default.
• W2005998857 citedByCount "1197" @default.
• W2005998857 countsByYear W20059988572012 @default.
• W2005998857 countsByYear W20059988572013 @default.
• W2005998857 countsByYear W20059988572014 @default.
• W2005998857 countsByYear W20059988572015 @default.
• W2005998857 countsByYear W20059988572016 @default.
• W2005998857 countsByYear W20059988572017 @default.
• W2005998857 countsByYear W20059988572018 @default.
• W2005998857 countsByYear W20059988572019 @default.
• W2005998857 countsByYear W20059988572020 @default.
• W2005998857 countsByYear W20059988572021 @default.
• W2005998857 countsByYear W20059988572022 @default.
• W2005998857 countsByYear W20059988572023 @default.
• W2005998857 crossrefType "journal-article" @default.
• W2005998857 hasAuthorship W2005998857A5009514870 @default.
• W2005998857 hasAuthorship W2005998857A5010093986 @default.
• W2005998857 hasBestOaLocation W20059988571 @default.
• W2005998857 hasConcept C105795698 @default.
• W2005998857 hasConcept C111472728 @default.
• W2005998857 hasConcept C11413529 @default.
• W2005998857 hasConcept C118615104 @default.
• W2005998857 hasConcept C138885662 @default.
• W2005998857 hasConcept C24858836 @default.
• W2005998857 hasConcept C25016198 @default.
• W2005998857 hasConcept C2780586882 @default.
• W2005998857 hasConcept C33923547 @default.
• W2005998857 hasConcept C41008148 @default.
• W2005998857 hasConcept C80444323 @default.
• W2005998857 hasConcept C98763669 @default.
• W2005998857 hasConceptScore W2005998857C105795698 @default.
• W2005998857 hasConceptScore W2005998857C111472728 @default.
• W2005998857 hasConceptScore W2005998857C11413529 @default.
• W2005998857 hasConceptScore W2005998857C118615104 @default.
• W2005998857 hasConceptScore W2005998857C138885662 @default.
• W2005998857 hasConceptScore W2005998857C24858836 @default.
• W2005998857 hasConceptScore W2005998857C25016198 @default.
• W2005998857 hasConceptScore W2005998857C2780586882 @default.
• W2005998857 hasConceptScore W2005998857C33923547 @default.
• W2005998857 hasConceptScore W2005998857C41008148 @default.
• W2005998857 hasConceptScore W2005998857C80444323 @default.
• W2005998857 hasConceptScore W2005998857C98763669 @default.
• W2005998857 hasIssue "5" @default.
• W2005998857 hasLocation W20059988571 @default.
• W2005998857 hasLocation W20059988572 @default.
• W2005998857 hasOpenAccess W2005998857 @default.
• W2005998857 hasPrimaryLocation W20059988571 @default.
• W2005998857 hasRelatedWork W1585007175 @default.
• W2005998857 hasRelatedWork W2144385241 @default.
• W2005998857 hasRelatedWork W2165950148 @default.
• W2005998857 hasRelatedWork W2338854850 @default.

• next