Original language | English |
---|---|
Title of host publication | Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems |
Publisher | Springer |
Pages | 117-155 |
Publication status | Published - 2014 |
Computing behavioral rela- tions for probabilistic concurrent systems
D. Gebler, H. Hashemi, A. Turrini
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review