@InProceedings{ANP16,
author={Zaruhi Aslanyan and Flemming Nielson and David Parker},
title={Quantitative Verification and Synthesis of Attack-Defence Scenarios},
booktitle={Proc. 29th IEEE Computer Security Foundations Symposium (CSF'16)}},
year={2016},

editors={},
pages={105-119},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}