Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Directions of work or proceedings

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 - ENS Paris, Inria Paris-Rocquencourt
2 ICM - Institute for Computational Medicine
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01147670
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Thursday, April 30, 2015 - 6:56:54 PM
Last modification on : Thursday, March 17, 2022 - 10:08:44 AM

Identifiers

  • HAL Id : hal-01147670, version 1

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | PSL

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. ⟨hal-01147670⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

115

 

Contact                    Legal Notice                    Personal Data