Rashid Mehmood. Serial Disk-based Analysis of Large Stochastic 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 230-255, Springer, 2004. [doi]
Abstract is missing.