Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012)

Jérôme Feret 1 Andre Levchenko 2
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
2 ICM - Institute for Computational Medicine
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, 〈http://www.sciencedirect.com/science/journal/15710661/313/supp/C〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01147670
Contributeur : Jérôme Feret <>
Soumis le : jeudi 30 avril 2015 - 18:56:54
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-01147670, version 1

Collections

INRIA | ENS-PARIS | PSL | INRIA-ROCQ

Citation

Jérôme Feret, Andre Levchenko. Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012). Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, 〈http://www.sciencedirect.com/science/journal/15710661/313/supp/C〉. 〈hal-01147670〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

249

Contact


archive-ouverte@inria.fr