Sébastien Bornot
发表
Ralf Huuck,
Yassine Lakhnech,
Ben Lukoschus,
2014
.
Ralf Huuck,
Ben Lukoschus,
Sébastien Bornot,
2000,
PDPTA.
Joseph Sifakis,
Sébastien Bornot,
J. Sifakis,
2000,
Inf. Comput..
Joseph Sifakis,
Gregor Gößler,
Sébastien Bornot,
2000,
TACAS.
Joseph Sifakis,
Stavros Tripakis,
Sébastien Bornot,
1997,
COMPOS.