Kronecker Based Matrix Representations for Large Markov Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Peter Buchholz' in GoogleThis author has not been identified. Look up 'Peter Kemper' in Google

runs on WebDSL