![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Application of Model-Checking Technology to Controller Synthesis. FMCO 2010: 336-351 | |
| 2009 | ||
| 1 | Jacob Deleuran Grunnet, Jan Dimon Bendtsen, Thomas Bak: Automated fault tolerant control synthesis based on discrete games. CDC 2009: 8476-8481 | |
| 1 | Thomas Bak | [1] |
| 2 | Jan Dimon Bendtsen | [1] |
| 3 | Alexandre David | [2] |
| 4 | Jan Jakob Jessen | [2] |
| 5 | Kim Guldstrand Larsen (Kim G. Larsen) | [2] |
| 6 | Jacob Illum Rasmussen | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page