共 28 条
[1]
Abdulla PA, 2010, LECT NOTES COMPUT SC, V6015, P158, DOI 10.1007/978-3-642-12002-2_14
[2]
Aho A. V., 1974, The design and analysis of computer algorithms
[3]
AIKEN A, 1991, LECT NOTES COMPUT SC, V523, P427
[4]
BAETEN JCM, 1987, LECT NOTES COMPUT SC, V259, P94
[5]
Bartels F., 2004, THESIS VRIJE U AMSTE
[6]
BOUAJJANI A, 2004, LNCS, V3114
[7]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[9]
De Wulf M, 2006, LECT NOTES COMPUT SC, V4144, P17, DOI 10.1007/11817963_5
[10]
Doyen L., 2010, LNCS, V6015