@PhDThesis{Fru11,
author={M. Fruth},
title={Formal Methods for the Analysis of Wireless Network Protocols},
school={Oxford University},
year={2011},

type={},
address={},
month={},
note={},
key={}
}