共 112 条
[2]
Ahmad J, 2006, LECT NOTES COMPUT SC, V3992, P887, DOI 10.1007/11758525_118
[3]
Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight into Cerebral Malaria
[J].
PLOS ONE,
2012, 7 (03)
[5]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[6]
Circadian Desynchrony Promotes Metabolic Disruption in a Mouse Model of Shiftwork
[J].
PLOS ONE,
2012, 7 (05)