1 Einträge gefunden

1. Using dynamic pushdown networks to automate a modular information-flow analysis

   1. Mantel, Heiko
   2. Müller-Olm, Markus
   3. Perner, Matthias
   4. Wenner, Alexander

   2015 - TUHH Open Research