共 22 条
[2]
An Gary, 2009, V500, P445, DOI 10.1007/978-1-59745-525-1_15
[4]
Balci O., 2001, ACM T MODEL COMPUT S, V7, P352, DOI DOI 10.1145/508366.508369
[5]
Balci Osman., 1998, HDB SIMULATION PRINC, P335
[6]
AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (02)
:244-263
[7]
*CRAY, ORNLS JAG XT5 SUP
[10]
Foster I, 2008, GCE: 2008 GRID COMPUTING ENVIRONMENTS WORKSHOP, P60