Sebastian Feld, Norbert Pohlmann, Michael Sparenberg, Bastian C. Wichmann. Analyzing G-20's Key Autonomus Systems and their Intermeshing using As-Analyzer. In Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider, editors, ISSE 2012 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2012 Conference, Brussels, Belgium, October 23-24, 2012. pages 228-242, Springer, 2012. [doi]
Abstract is missing.