Improving Time Bounded Reachability Computations in Interactive Markov Chains
| Title | Improving Time Bounded Reachability Computations in Interactive Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Hatefi, H, Hermanns, H |
| Editor | Arbab, F, Sirjani, M |
| Conference Name | Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers |
| Publisher | Springer |
| ISBN Number | 978-3-642-40212-8 |
Work Package:
WP1
