Sébastien Grivet

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

Publications

Sébastien Grivet, David Auber, Jean-Philippe Domenger, Guy Melançon
Bubble Tree Drawing Algorithm. ICCVG (2004)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Unfolding of Products of Symmetrical Petri Nets. ICATPN (2001)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN (2000)