F. Klay
发表
Michaël Rusinowitch,
Sorin Stratulat,
Francis Klay,
2003,
Journal of Automated Reasoning.
L. Fribourg,
B. Bérard,
F. Klay,
1999
.
Laurent Fribourg,
Béatrice Bérard,
Jean-François Monin,
2003,
Formal Methods Syst. Des..
Florent Jacquemard,
Francis Klay,
Camille Vacher,
2011,
Inf. Comput..
Florent Jacquemard,
Francis Klay,
Camille Vacher,
2009,
LATA.
Francis Klay,
F. Klay,
1991,
RTA.
Thomas Genet,
Francis Klay,
T. Genet,
2000,
CADE.
Muzammil Shahbaz,
Francis Klay,
Benoît Parreaux,
2007,
ICFI.
Pascale Le Gall,
Karim Berkani,
Francis Klay,
2000,
FIREworks.
Laurent Fribourg,
Béatrice Bérard,
Jean-François Monin,
2003,
FME 2003.
Claude Kirchner,
Francis Klay,
C. Kirchner,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Christophe Ringeissen,
Eric Domenjoud,
Francis Klay,
1994,
CADE.