Login / Signup

Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding.

Min WanGianfranco CiardoAndrew S. Miner
Published in: Perform. Evaluation (2011)
Keyphrases