共 28 条
[4]
Clarke EM, 1999, MODEL CHECKING, P1
[8]
Kleinberg Samantha, 2007, Syst Synth Biol, V1, P197, DOI 10.1007/s11693-008-9014-3