2411 articles – 24 references  [version française]
.:. Browse > List by authors > Batt .:.
1 document

fulltext access Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle
Batt G.
Université Joseph-Fourier - Grenoble I (24/02/2006), Hidde de Jong (Dir.) [tel-00012040 - version 1]