J. Madre
发表
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1989,
Automatic Verification Methods for Finite State Systems.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
International Conference on Computer Aided Verification.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
32nd Design Automation Conference.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
CAV.
Olivier Coudert,
Jean Christophe Madre,
Jean-Paul Billon,
1989,
1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1991,
IJCAI.
Olivier Coudert,
Jean Christophe Madre,
H. Touati,
2011
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Olivier Coudert,
J. C. Madre,
O. Coudert,
1994
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1993
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
Formal Methods Syst. Des..
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.