共 34 条
[3]
Bacci G, 2013, LECT NOTES COMPUT SC, V7795, P1, DOI 10.1007/978-3-642-36742-7_1
[6]
Cardelli L., 2017, Syntactic Markovian bisimulation for chemical reaction networks
[9]
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II,
2017, 10206
:310-328