Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. In Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, editors, Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Volume 6342 of Lecture Notes in Computer Science, pages 115-130, Springer, 2010. [doi]
@inproceedings{DulatKN10, title = {Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report}, author = {Falko Dulat and Joost-Pieter Katoen and Viet Yen Nguyen}, year = {2010}, doi = {10.1007/978-3-642-15784-4_8}, url = {http://dx.doi.org/10.1007/978-3-642-15784-4_8}, tags = {model checking, meta-model, Markov, Meta-Environment}, researchr = {https://researchr.org/publication/DulatKN10}, cites = {0}, citedby = {0}, pages = {115-130}, booktitle = {Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings}, editor = {Alessandro Aldini and Marco Bernardo and Luciano Bononi and Vittorio Cortellessa}, volume = {6342}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-15783-7}, }