%0 Thesis %1 werner2009applied %A Werner, Frank %D 2009 %K %T Applied Formal Methods in Wireless Sensor Networks

@phdthesis{werner2009applied, added-at = {2023-12-12T17:35:59.000+0100}, author = {Werner, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2a078900c64d29fe1ecf9256669d11dc9/admin}, dnbtitleid = {1014220807}, interhash = {0605d58e8341f50cadc4cd023a2c5a35}, intrahash = {a078900c64d29fe1ecf9256669d11dc9}, keywords = {}, school = {Uni Karlsruhe}, timestamp = {2023-12-12T17:35:59.000+0100}, title = {Applied Formal Methods in Wireless Sensor Networks}, year = 2009 }