Export 1 results:[BibTex][EndNote Tagged][EndNote XML]
Sort by:[Year][Title][Type][Author]
Filters: Author is W. Damm and H. Hermanns  [Clear All Filters]
2007
Hybrid Systems: From Verification to Falsification, Plaku E, Kavraki LE, Vardi MY, and Hermanns DWH , International Conference on Computer Aided Verification (CAV), Volume 4590, Berlin, Germany, p.468--481, (2007)