共 50 条
- [23] Formal support for the ELLA hardware description language CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 225 - 245
- [24] INTERNATIONAL CONTRACTING - A FORMAL LANGUAGE APPROACH PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 69 - 78
- [26] THIRD INTERNATIONAL CONFERENCE ON ORAL SURGERY JOURNAL OF ORAL SURGERY, 1968, 26 (09): : 567 - &
- [28] The Third International Conference on Forensic Statistics JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES A-STATISTICS IN SOCIETY, 1997, 160 : 271 - 273
- [29] THIRD INTERNATIONAL CONFERENCE ON STUDY OF REACTORS INDUSTRIE CHIMIQUE BELGE-BELGISCHE CHEMISCHE INDUSTRIE, 1969, 34 (09): : 749 - &