| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 4 |       | Felix Klaedtke, Stefan Ratschan, Zhikun She: Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI 2007: 151-166 |
Selection of 1 from 5 records - Zhikun She has 2 coauthors
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)