%0 Conference Paper %1 conf/csfw/AslanyanNP16 %A Aslanyan, Zaruhi %A Nielson, Flemming %A Parker, David %B CSF %D 2016 %I IEEE Computer Society %K %P 105-119 %T Quantitative Verification and Synthesis of Attack-Defence Scenarios. %U http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#AslanyanNP16 %@ 978-1-5090-2607-4

@inproceedings{conf/csfw/AslanyanNP16, added-at = {2023-12-13T08:40:53.000+0100}, author = {Aslanyan, Zaruhi and Nielson, Flemming and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/239e443d3f7b04bf8a52d9bd107ce3881/admin}, booktitle = {CSF}, crossref = {conf/csfw/2016}, ee = {https://www.wikidata.org/entity/Q59416295}, interhash = {c63880f5c456bf80c1c42263a902dd3d}, intrahash = {39e443d3f7b04bf8a52d9bd107ce3881}, isbn = {978-1-5090-2607-4}, keywords = {}, pages = {105-119}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:40:53.000+0100}, title = {Quantitative Verification and Synthesis of Attack-Defence Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#AslanyanNP16}, year = 2016 }