%0 Thesis %1 phd/ethos/Fruth11 %A Fruth, Matthias %D 2011 %K %T Formal methods for the analysis of wireless network protocols.

@phdthesis{phd/ethos/Fruth11, added-at = {2023-12-13T09:23:53.000+0100}, author = {Fruth, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/27846a17d0f35c0baa1e7821428f76242/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373}, interhash = {cddbf13ba8f2a764e8c11faaefa64b24}, intrahash = {7846a17d0f35c0baa1e7821428f76242}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T09:23:53.000+0100}, title = {Formal methods for the analysis of wireless network protocols.}, year = 2011 }