Login / Signup

Verifying Continuous Time Markov Chains.

Adnan AzizKumud SanwalVigyan SinghalRobert K. Brayton
Published in: CAV (1996)
Keyphrases
  • continuous time markov chains
  • markov processes
  • poisson distribution
  • numerically stable
  • markov process
  • non stationary