Sciweavers

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