10.1101/586198
Formalizing metabolic-regulatory networks by hybrid automata
2019-03-24