| |
| 1996 | ||
|---|---|---|
| 2 | Jean-Paul Billon: The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. TABLEAUX 1996: 110-126 | |
| 1988 | ||
| 1 | EE | Jean Christophe Madre, Jean-Paul Billon: Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. DAC 1988: 205-210 |
| 1 | Jean Christophe Madre | [1] |