| |
| * | 2008 | |
|---|---|---|
| 2 | EE | George Hagen, Cesare Tinelli: Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. FMCAD 2008: 1-9 |
| 2004 | ||
| 1 | EE | Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188 |
| 1 | Harald Ganzinger | [1] |
| 2 | Robert Nieuwenhuis | [1] |
| 3 | Albert Oliveras | [1] |
| 4 | Cesare Tinelli | [1] [2] |