Publications

Automated verification of virtualized infrastructures

• • Sören Bleikertz
  • Thomas GrosZ
  • et al.
• 2011
• CCS 2011