Hervé J. Touati
发表
Robert K. Brayton,
Robert P. Kurshan,
Hervé J. Touati,
1995,
Inf. Comput..
Robert K. Brayton,
Hervé J. Touati,
R. Brayton,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
A. Richard Newton,
Bill Lin,
Hervé J. Touati,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Thomas R. Shiple,
Gérard Berry,
Hervé J. Touati,
1996,
Proceedings ED&TC European Design and Test Conference.
Toshiyuki Hama,
Hervé J. Touati,
H. Touati,
1988,
FGCS.
Robert K. Brayton,
Hervé J. Touati,
Hamid Savoj,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert N. Mayo,
Hervé J. Touati,
H. Touati,
1993,
ICCAD '93.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Bill Lin,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Alvin M. Despain,
Hervé J. Touati,
1987,
SLP.
Joel Grodstein,
Eric Lehman,
Hervé J. Touati,
1994,
ICCAD.
Robert K. Brayton,
Robert P. Kurshan,
Hervé J. Touati,
1992,
CAV.
Robert K. Brayton,
Hervé J. Touati,
Hamid Savoj,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Hervé J. Touati,
1987,
SIGP.
Alan Jay Smith,
Hervé J. Touati,
1991,
Softw. Pract. Exp..
Antun Domic,
Joel Grodstein,
Hervé J. Touati,
1993,
ICCAD.