Merkliste 
 1 Ergebnisse 
 
1

Attack Defense Trees with Sequential Conjunction:

, In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE),