On O-Minimal Hybrid Systems

Technical Report PDF: 
Technical Report Number: 
2003.19
TitleOn O-Minimal Hybrid Systems
Publication TypeConference Paper
Year of Publication2004
AuthorsBrihaye, T, Michaux C, Rivière C, Troestler C
Conference NameHSCC