@inproceedings{KNSW04,
author={M. Kwiatkowska and G. Norman and J. Sproston and F. Wang},
title={Symbolic Model Checking for Probabilistic Timed Automata},
booktitle={Proc. Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems (FORMATS/FTRTFT'04)},
year={2004},

editor={Y. Lakhnech and S. Yovine},
pages={293--308},
organization={},
publisher={Springer},
series={LNCS},
volume={3253},
month={},
note={},
key={}
}