Parametric LTL on Markov Chains
| Title | Parametric LTL on Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Chakraborty, S, Katoen, J-P |
| Conference Name | IFIP Conference on Theoretical Computer Science (TCS) |
| Publisher | Springer |
Work Package:
WP1
