Peter Buchholz, Peter Kemper. Kronecker Based Matrix Representations for Large Markov Models. In Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle, editors, Validation of Stochastic Systems - A Guide to Current Research. Volume 2925 of Lecture Notes in Computer Science, pages 256-295, Springer, 2004. [doi]
@inproceedings{BuchholzK04,
title = {Kronecker Based Matrix Representations for Large Markov Models},
author = {Peter Buchholz and Peter Kemper},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2925&spage=256},
tags = {rule-based, Markov},
researchr = {https://researchr.org/publication/BuchholzK04},
cites = {0},
citedby = {0},
pages = {256-295},
booktitle = {Validation of Stochastic Systems - A Guide to Current Research},
editor = {Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and Joost-Pieter Katoen and Markus Siegle},
volume = {2925},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22265-0},
}