[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BaierHaverkortHermansKatoen03

  1. Christel Baier & Boudewijn Haverkort & Holger Hermans & Joost-Pieter Katoen
  2. Model-checking algorithms for continuous-time Markov Chains
  3. IEEE Trans Software Engineering V29n6(Jun 2003)pp524-541
  4. =THEORY MATHEMATICS MODEL CHECKING CTMC CSL RELIABILITY CTL
  5. CSL:="Continuous Stochastic Logic". Steady state + path probabilities in time intervals. Modes P[event] <=> p. Nested. Generalizes CTL.
  6. CTMC::="continuous time Markov chains". P(i -> j fires after t) = c*exp( -rate*t) iff it is first.


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]