Daniel D. Deavours, William H. Sanders. An Efficient Disk-Based Tool for Solving Very Large Markov Models. In Raymond A. Marie, Brigitte Plateau, Maria Calzarossa, Gerardo Rubino, editors, Computer Performance Evaluation: Modelling Techniques and Tools, 9th International Conference, St. Malo, France, June 3-6, 1997, Proceedings. Volume 1245 of Lecture Notes in Computer Science, pages 58-71, Springer, 1997.
Abstract is missing.