| |
| 2008 | ||
|---|---|---|
| 2 | EE | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67 |
| 2007 | ||
| 1 | EE | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 |
| 1 | Roderick Bloem | [1] |
| 2 | Roberto Cavada | [1] |
| 3 | Alessandro Cimatti | [2] |
| 4 | Ingo Pill | [1] |
| 5 | Marco Roveri | [1] [2] |
| 6 | Viktor Schuppan | [2] |