@InProceedings{ZH06,
author={M. Zhang and D. Van Hung},
title={Formal Analysis of Streaming Downloading Protocol for System Upgrading},
booktitle={Proc. 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06)},
year={2006},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
_month={April},
note={},
key={}
}