Fabrice Derepas

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Fabrice Derepas, Paul Gastin, David Plainfossé
Avoiding State Explosion for Distributed Systems with Timestamps. FME (2001)
Fabrice Derepas, Paul Gastin
Model Checking Systems of Replicated Processes with Spin. SPIN (2001)