共 32 条
[1]
Acary V, 2008, LECT NOTES APPL COMP, V35, P1, DOI 10.1007/978-3-540-75392-6
[2]
Agrawal A., 2004, ENTCS, V109
[3]
Alur R., 2008, EMBEDDED SOFTWARE
[4]
[Anonymous], THEO COMPUTER SCI
[6]
Benveniste A., 2010, C DEC CONTR
[7]
Benveniste A., 2011, LCTES
[8]
Briand X., 2010, COMPUTER AIDED DESIG, V29
[9]
Caspi P., 1987, POPL
[10]
CHUTINAN A, 1999, LNCS, V1569