共 13 条
[1]
Allaire G., 1993, TOPOLOGY DESIGN STRU, V227, P207
[2]
Gilbert T. L., 1956, THESIS
[3]
Holzmann G., 1996, Proceedings of the 2nd International SPIN Workshop on Model Checking of Software, P23
[5]
Lee HF, 1996, NAV RES LOG, V43, P985, DOI 10.1002/(SICI)1520-6750(199610)43:7<985::AID-NAV4>3.0.CO
[6]
2-9
[8]
Petersson J, 1998, INT J NUMER METH ENG, V41, P1417, DOI 10.1002/(SICI)1097-0207(19980430)41:8<1417::AID-NME344>3.0.CO
[9]
2-N