共 25 条
[1]
[Anonymous], ADDENDUM DYNAMIC PAR
[2]
[Anonymous], 1996, LNCS, DOI DOI 10.1007/3-540-60761-7
[7]
Godefroid P., 1997, Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, P174, DOI 10.1145/263699.263717
[9]
Godefroid P, 1993, LNCS, V697
[10]
Kähkönen K, 2012, IEEE INT CONF AUTOM, P150, DOI 10.1145/2351676.2351698