TY  - RPRT
TI  - (Mathematical) Logic for Systems Biology (Invited Paper)
AU  - Joëlle Despeyroux
PY  - 2017
DO  - 10.1007/978-3-319-45177-0_1
UR  - https://arxiv.org/abs/1701.05063
ID  - 1701.05063
ER  -