共 63 条
[3]
BOINC: A system for public-resource computing and storage
[J].
FIFTH IEEE/ACM INTERNATIONAL WORKSHOP ON GRID COMPUTING, PROCEEDINGS,
2004,
:4-10
[4]
[Anonymous], 2001, Foundations of Systems Biology
[5]
[Anonymous], 2003, The SPIN Model Checker
[6]
[Anonymous], 1994, Introduction to the Numerical Solutions of Markov Chains
[7]
AOUAD LM, 2005, P 6 IEEE INT C CLUST
[8]
AZIZ A, 1996, ACM T COMPUT LOG, V1, P162
[9]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1

