Jérôme Feret Laboratoire d'Informatique de l'École Normale Supérieure
-
91
pages
-
Français
-
Documents
Écrit par
Jérôme Feret
Publié par
pefav
-
91
pages
-
Français
-
Documents
Description
SAS 2011 Formal model reduction Jérôme Feret Laboratoire d'Informatique de l'École Normale Supérieure INRIA, ÉNS, CNRS Friday, September the 16th
- laboratoire d'informatique de l'ecole normale
- abstract interpretation
- formal model
- msb4100014-e2 molecularsystemsbiology2005
- abstract semantics
-
Publié par
-
Langue
Français
-
Poids de l'ouvrage
4 Mo
Ajouté à mes notifications
Vous serez informé des prochaines publications.