Home
News
Links
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".