Sciweavers

15155 search results - page 32 / 3031
» System Software
Sort
View
VMCAI
2007
Springer
15 years 3 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She