@InProceedings{Mu19,
author={Chunyan Mu},
title={Automated Game-Theoretic Verification of Security Systems},
booktitle={Proc. 16th International Conference on Quantitative Evaluation of SysTems (QEST'19)},
year={2019},

editors={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={11785},
address={},
month={},
note={},
key={}
}