共 64 条
- [52] Penberthy J.S., 1993, UWCSE931201
- [53] PNUELI A, 1977, P 18 IEEE S FDN COMP
- [55] RINTANEN J, 2000, P 14 EUR C ART INT E
- [56] Rintanen J., 2007, P 17 INT C AUT PLANN
- [57] ROSSI F, 2004, P 10 INT C PRINC PRA
- [58] Smith B., 2005, CONSTRAINT MODELLING
- [59] Smith D. E., 2004, P 14 INT C AUT PLANN
- [60] SON TC, 2004, P 7 INT C LOG PROGR