Chunyan Mu. Automated Game-Theoretic Verification of Security Systems. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 239-256, Springer, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.