Author:
Pekergin Nihal,Tan Sovanna
Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;F Aït-Salaht,2013
2. Lecture Notes in Computer Science;F Arnold,2014
3. Aslanyan, Z., Nielson, F., Parker, D.: Quantitative verification and synthesis of attack-defence scenarios. In: IEEE CSF 2016, pp. 105–119 (2016)
4. Lecture Notes in Computer Science;JM Fourneau,2015
5. Lecture Notes in Computer Science;O Gadyatskaya,2016