Model Checking Gigantic Markov Models
| Title | Model Checking Gigantic Markov Models |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Katoen, J-P |
| Conference Name | 12th International Conference on Software Engineering and Formal Methods (SEFM) |
| Date Published | September |
Work Package:
WP1
