| |
| 2007 | ||
|---|---|---|
| 2 | EE | Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger: Automatic Abstraction in Symbolic Trajectory Evaluation. FMCAD 2007: 127-135 |
| 1 | EE | Sara Adams, Joël Ouaknine, James Worrell: Undecidability of Universality for Timed Automata with Minimal Resources. FORMATS 2007: 25-37 |
| 1 | Magnus Björk | [2] |
| 2 | Thomas F. Melham | [2] |
| 3 | Joël Ouaknine | [1] |
| 4 | Carl-Johan H. Seger | [2] |
| 5 | James Worrell | [1] |