Gérard Berry
发表
Ellen Sentovich,
Horia Toma,
Gérard Berry,
1996,
Proceedings of International Conference on Computer Aided Design.
Gérard Berry,
1976,
RAIRO Theor. Informatics Appl..
Manuel Serrano,
Gérard Berry,
2012,
ACM Queue.
Gérard Berry,
2001,
EMSOFT.
Gérard Berry,
1977,
RAIRO Theor. Informatics Appl..
Gérard Berry,
2007,
FMICS.
Ellen Sentovich,
Gérard Berry,
2001,
CHARME.
Patrick Schaumont,
Ingrid Verbauwhede,
Rajesh K. Gupta,
2001,
DAC '01.
Gérard Berry,
1981,
FPCA '81.
Jean-Jacques Lévy,
Gérard Berry,
1979,
J. ACM.
Gérard Berry,
1996,
AMAST.
Bruno Courcelle,
Gérard Berry,
G. Berry,
1976,
ICALP.
Manuel Serrano,
Gérard Berry,
G. Berry,
2012,
CACM.
Thomas R. Shiple,
Gérard Berry,
Hervé J. Touati,
1996,
Proceedings ED&TC European Design and Test Conference.
Laurent Moll,
Pascal Fua,
Olivier Faugeras,
1993
.
Gérard Berry,
1999,
CHARME.
Michael Mendler,
Thomas R. Shiple,
Gérard Berry,
2012,
Formal Methods Syst. Des..
Gérard Berry,
Georges Gonthier,
Philippe Couronne,
1988
.
Gérard Berry,
2018
.
Manuel Serrano,
Gérard Berry,
Colin Vidal,
2018,
SAC.
Gérard Berry,
Ravi Sethi,
G. Berry,
1986,
Theor. Comput. Sci..
Gérard Berry,
G. Berry,
2000,
Proof, Language, and Interaction.
Gérard Berry,
2015
.
Gérard Berry,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Jean-Jacques Lévy,
Gérard Berry,
G. Berry,
1979,
MFCS.
Gérard Berry,
G. Berry,
1993,
FSTTCS.
Satnam Singh,
Michael Kishinevsky,
Gérard Berry,
2003,
ICCAD.
Michael Kishinevsky,
Gérard Berry,
Laurent Arditi,
2004,
FMCAD.
Robert de Simone,
Amar Bouali,
Gérard Berry,
2000,
Sci. Comput. Program..
Gérard Berry,
Laurent Cosserat,
G. Berry,
1984,
Seminar on Concurrency.
Gérard Berry,
G. Berry,
1997,
TACAS.
Gérard Berry,
G. Berry,
1996
.
Gérard Berry,
G. Berry,
2007,
2007 IEEE International High Level Design Validation and Test Workshop.
Jean-Jacques Lévy,
Gérard Berry,
G. Berry,
1977,
JACM.
Gérard Berry,
Georges Gonthier,
1989
.
Gérard Berry,
2014
.
Gérard Berry,
G. Berry,
1992,
NATO ASI PDC.
Gérard Berry,
Georges Gonthier,
G. Berry,
1992,
Sci. Comput. Program..
Gérard Berry,
Gérard Boudol,
G. Berry,
1989,
POPL '90.
Alain Finkel,
Gérard Berry,
Hubert Comon,
2001
.
Gérard Berry,
2015
.
Gérard Berry,
1997,
CAV.
Gérard Berry,
2004,
17th International Conference on VLSI Design. Proceedings..
Gérard Berry,
G. Berry,
1978,
ICALP.
Ellen Sentovich,
Horia Toma,
Gérard Berry,
1997,
DAC.
Manuel Serrano,
Gérard Berry,
G. Berry,
2013,
ICDCIT.
Gérard Berry,
G. Berry,
1981,
ICFPC.
Amar Bouali,
Lionel Blanc,
Gérard Berry,
2002,
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Gérard Berry,
G. Berry,
1989,
IFIP Congress.
Gérard Berry,
2005,
FASE.
Rajesh Gupta,
Arvind,
Forrest Brewer,
2008,
IEEE Design & Test of Computers.
Albert Benveniste,
Gérard Berry,
A. Benveniste,
1991
.
Ellen Sentovich,
Gérard Berry,
G. Berry,
2000,
Formal Methods Syst. Des..
Gérard Berry,
1991,
TAPSOFT, Vol.2.
David L. Dill,
Harry Foster,
Shishpal Rawat,
2002,
DAC '02.
Alain Finkel,
Gérard Berry,
Hubert Comon,
2001
.
Enrico Nardelli,
Jan Vahrenhold,
Judith Gal-Ezer,
2017
.