@InProceedings{KM02,
author={M. Kwiatkowska and  R. Mehmood},
title={Out-of-Core Solution of Large Linear Systems of Equations arising from Stochastic Modelling},
booktitle={Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02)},
year={2002},

editor={H. Hermanns and R. Segala},
pages={135--151},
organization={},
publisher={Springer},
series={LNCS},
volume={2399},
month={},
note={},
key={}
}