| |
| 2008 | ||
|---|---|---|
| 2 | EE | Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh: Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357 |
| 2003 | ||
| 1 | EE | James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 |
| 1 | Edmund M. Clarke | [2] |
| 2 | Bruce H. Krogh | [1] [2] |
| 3 | Flavio Lerda | [2] |
| 4 | Oded Maler | [1] |
| 5 | Olaf Stursberg | [1] |