%0 Conference Paper %1 conf/kes/BernardeschiMNS19 %A Bernardeschi, Cinzia %A Mercaldo, Francesco %A Nardone, Vittoria %A Santone, Antonella %B KES %D 2019 %E Rudas, Imre J. %E Csirik, János %E Toro, Carlos %E Botzheim, János %E Howlett, Robert J. %E Jain, Lakhmi C. %I Elsevier %K dblp %P 963-972 %T Exploiting Model Checking for Mobile Botnet Detection. %U http://dblp.uni-trier.de/db/conf/kes/kes2019.html#BernardeschiMNS19 %V 159

@inproceedings{conf/kes/BernardeschiMNS19, added-at = {2020-03-27T00:00:00.000+0100}, author = {Bernardeschi, Cinzia and Mercaldo, Francesco and Nardone, Vittoria and Santone, Antonella}, biburl = {https://www.bibsonomy.org/bibtex/249b7156d0847f65849a050c15d88db25/dblp}, booktitle = {KES}, crossref = {conf/kes/2019}, editor = {Rudas, Imre J. and Csirik, János and Toro, Carlos and Botzheim, János and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1016/j.procs.2019.09.263}, interhash = {f59a9251eb07ec868015a4f131d2f372}, intrahash = {49b7156d0847f65849a050c15d88db25}, keywords = {dblp}, pages = {963-972}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T19:50:20.000+0200}, title = {Exploiting Model Checking for Mobile Botnet Detection.}, url = {http://dblp.uni-trier.de/db/conf/kes/kes2019.html#BernardeschiMNS19}, volume = 159, year = 2019 }