Formal Molecular Biology done in CCS

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00164586
Contributor : Vincent Danos <>
Submitted on : Friday, July 20, 2007 - 7:59:21 PM
Last modification on : Wednesday, January 9, 2019 - 8:30:09 AM

Identifiers

  • HAL Id : hal-00164586, version 1

Collections

Citation

Vincent Danos, Jean Krivine. Formal Molecular Biology done in CCS. BIO-CONCUR'03, Sep 2003, France. pp.31-49. ⟨hal-00164586⟩

Share

Metrics

Record views

128