| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Heber Herencia-Zapana, George Hagen, Anthony Narkawicz: Formalizing Probabilistic Safety Claims. NASA Formal Methods 2011: 162-176 |
| 2008 | ||
| 2 | | George Hagen, Cesare Tinelli: Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. FMCAD 2008: 1-9 |
| 2004 | ||
| 1 | | Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188 |
| 1 | Harald Ganzinger | [1] |
| 2 | Heber Herencia-Zapana | [3] |
| 3 | Anthony Narkawicz | [3] |
| 4 | Robert Nieuwenhuis | [1] |
| 5 | Albert Oliveras | [1] |
| 6 | Cesare Tinelli | [1] [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