Formal Molecular Biology

Journal Articles Theoretical Computer Science Year : 2004

(1) , (2)

1
2

Vincent Danos

Preuves, Programmes et Systèmes

Cosimo Laneve

https://hal.science/hal-00164591

Submitted on : Friday, July 20, 2007-8:29:43 PM

Last modification on : Thursday, December 14, 2023-1:56:06 PM

hal-00164591 , version 1 (20-07-2007)

Vincent Danos, Cosimo Laneve. Formal Molecular Biology. Theoretical Computer Science, 2004, 325 (1), pp.69-110. ⟨10.1016/j.tcs.2004.03.065⟩. ⟨hal-00164591⟩

UNIV-PARIS7 PPS CNRS

54 View

0 Download