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]
Abstract is missing.