| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 |
Selection of 1 from 7 records - Goran Frehse has 4 coauthors
Copyright © 2009-12-05 by Michael Ley (ley@uni-trier.de)