共 37 条
[1]
AZIZ A, 1994, LECT NOTES COMPUTER, V818, P324
[2]
Barbuti R, 1999, SOFTWARE PRACT EXPER, V29, P1123, DOI 10.1002/(SICI)1097-024X(199910)29:12<1123::AID-SPE275>3.0.CO
[3]
2-6
[5]
BARBUTI R, 1997, P FORTE 10 PSTV 17 9, P519
[6]
BENSALEM S, 1992, LECT NOTES COMPUTER, V663, P260
[7]
INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS
[J].
COMPUTER NETWORKS AND ISDN SYSTEMS,
1987, 14 (01)
:25-59
[8]
BOUAJJANI A, 1991, LECT NOTES COMPUT SC, V510, P76
[10]
BRADFIELD J, 1990, LECT NOTES COMPUT SC, V458, P115