Home
Scientific Axes
Members
Publications
Software
Collaborations
Activity Report
Seminars
Positions
Reference Details
Y Bastide, Lagarrigue, S, Borgne, M Le, A Siegel, P Veber, Radulescu, O and Bechec, A Le (2005), "Une méthodologie pour l'analyse qualitative des réseaux biologiques : De la base de données à la vérification formelle".

Symbiose Project Team - INRIA/Irisa © 2007 - 2008