TY  - RPRT
TI  - A Hybrid Hoare Logic for Gene Network Models
AU  - Jonathan Behaegel
AU  - Jean-Paul Comet
AU  - Maxime Folschette
PY  - 2016
UR  - https://arxiv.org/abs/1610.06715
ID  - 1610.06715
ER  -