| |
| 2007 | ||
|---|---|---|
| 2 | EE | Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504 |
| 2006 | ||
| 1 | Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. KR 2006: 362-370 | |
| 1 | Nicolas Blanc | [2] |
| 2 | Daniel Kroening (Daniel Kröning) | [2] |
| 3 | Michael Thielscher | [1] |
| 4 | Georg Weissenbacher | [2] |