共 19 条
[1]
Aceto L, 1998, LECT NOTES COMPUT SC, V1384, P263, DOI 10.1007/BFb0054177
[2]
Aceto L, 1998, LECT NOTES COMPUT SC, V1530, P245
[4]
ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[7]
ALUR R, 1992, LECT NOTES COMPUT SC, V630, P340
[9]
Alur R., 1992, Proceedings 33rd Annual Symposium on Foundations of Computer Science (Cat. No.92CH3188-0), P177, DOI 10.1109/SFCS.1992.267774