| |
| 2004 | ||
|---|---|---|
| 2 | EE | Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode: On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT 2004: 52-67 |
| 1 | EE | Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor: Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295 |
| 1 | Jennifer M. Davoren | [1] [2] |
| 2 | Rajeev Goré | [2] |
| 3 | Nicolas Markey | [1] |
| 4 | Thomas Moor | [1] [2] |
| 5 | Anil Nerode | [2] |