Cyber & formal methods publications February 1, 2008 Conference PaperAbstractions for Hybrid Systems SRI International February 1, 2008 ↓ View online Share this