Quantitative Timed Analysis of Interactive Markov Chains
| Title | Quantitative Timed Analysis of Interactive Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Guck, D, Han, T, Katoen, J-P, Neuhäußer, MR |
| Conference Name | 4th International Symposium NASA Formal Methods (NFM) |
| Date Published | 04/2012 |
| Publisher | Springer |
| Conference Location | Norfolk, USA |
| DOI | 10.1007/978-3-642-28891-3_4 |
PDF (Full text):
Work Package:
WP1
