Alain Griffault

Publication Activity (10 Years)

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

Publications

Alain Griffault, Aymeric Vincent
The Mec 5 Model-Checker. CAV (2004)
André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
The AltaRica Formalism for Describing Concurrent Systems. Fundam. Informaticae 40 (2-3) (1999)
Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR (1993)