%0 Journal Article %1 journals/siu/HammalMMBA14 %A Hammal, Youcef %A Monnet, Quentin %A Mokdad, Lynda %A Ben-Othman, Jalel %A Abdelkrim, Abdelli %D 2014 %J Stud. Inform. Univ. %K %N 1 %P 1-46 %T Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. %U http://dblp.uni-trier.de/db/journals/siu/siu12.html#HammalMMBA14 %V 12

@article{journals/siu/HammalMMBA14, added-at = {2023-12-12T20:38:57.000+0100}, author = {Hammal, Youcef and Monnet, Quentin and Mokdad, Lynda and Ben-Othman, Jalel and Abdelkrim, Abdelli}, biburl = {https://www.bibsonomy.org/bibtex/2e302231a8e9eaa088d9458e2cdd4e1ff/admin}, ee = {http://studia.complexica.net/index.php?option=com_content&view=article&id=254%3Atimed-automata-based-modeling-and-verication-of-denial-of-service-attacks-in-wireless-sensor-networks-pp1-46-&catid=65%3Anumber-1-&Itemid=112}, interhash = {324d159823847d388b4369f293b6b7df}, intrahash = {e302231a8e9eaa088d9458e2cdd4e1ff}, journal = {Stud. Inform. Univ.}, keywords = {}, number = 1, pages = {1-46}, timestamp = {2023-12-12T20:38:57.000+0100}, title = {Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks.}, url = {http://dblp.uni-trier.de/db/journals/siu/siu12.html#HammalMMBA14}, volume = 12, year = 2014 }