Matthias Colin

Publication Activity (10 Years)

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

Publications

Matthias Colin, Xavier Thirioux, Marc Pantel
Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS (2003)
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors. Obj. Logiciel Base données Réseaux 6 (1) (2000)