| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 2 |      | Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger: Automatic Abstraction in Symbolic Trajectory Evaluation. FMCAD 2007: 127-135 |
| 1 | | 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 (Tom Melham) | [2] |
| 3 | Joël Ouaknine | [1] |
| 4 | Carl-Johan H. Seger | [2] |
| 5 | James Worrell | [1] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page