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

@phdthesis{phd/ethos/Fruth11, added-at = {2022-04-05T00:00:00.000+0200}, author = {Fruth, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/27846a17d0f35c0baa1e7821428f76242/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373}, interhash = {cddbf13ba8f2a764e8c11faaefa64b24}, intrahash = {7846a17d0f35c0baa1e7821428f76242}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T09:02:08.000+0200}, title = {Formal methods for the analysis of wireless network protocols.}, year = 2011 }