Publication January 1, 2011 Conference PaperRelational Abstractions for Continuous and Hybrid Systems SRI International January 1, 2011 ↓ View online Share this