@InProceedings{FG06,
author={A. Fehnker and P. Gao},
title={Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols},
booktitle={Proc. 5th International Conference on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06)},
year={2006},

editor={},
pages={128-141},
organization={},
publisher={Springer},
series={LNCS},
volume={4104},
address={},
month={},
note={},
key={}
}