Jean-Paul Billon

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

Jean-Paul Billon
The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. TABLEAUX (1996)
Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon
Automating the diagnosis and the rectification of design errors with PRIAM. ICCAD (1989)
Jean Christophe Madre, Jean-Paul Billon
Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. DAC (1988)