%0 Journal Article %1 journals/corr/VigoNN16 %A Vigo, Roberto %A Nielson, Flemming %A Nielson, Hanne Riis %D 2016 %J Logical Methods in Computer Science %K %N 4 %T Discovering, quantifying, and displaying attacks. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#VigoNN16 %V 12

@article{journals/corr/VigoNN16, added-at = {2023-12-12T20:51:44.000+0100}, author = {Vigo, Roberto and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/237e6ae9b54315f14f69427f7593e04a1/admin}, ee = {http://arxiv.org/abs/1607.07720}, interhash = {35767e39114c43cf24a4ab6a5accfe76}, intrahash = {37e6ae9b54315f14f69427f7593e04a1}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 4, timestamp = {2023-12-12T20:51:44.000+0100}, title = {Discovering, quantifying, and displaying attacks.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#VigoNN16}, volume = 12, year = 2016 }