共 50 条
- [41] Refinement for Structured Concurrent Programs COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 275 - 298
- [44] HOW TO DESCRIBE YOUR SERVICE - AN INVITATION TO THE STRUCTURED ANALYSIS AND DESIGN TECHNIQUE INTERNATIONAL JOURNAL OF SERVICE INDUSTRY MANAGEMENT, 1995, 6 (02): : 6 - &
- [45] SYNCHRONIZATION IN DISTRIBUTED PROGRAMS ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (02): : 125 - 148
- [47] A Novel Design of Distributed Oscillator Based on the Balanced Oscillator Technique 2013 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING/ELECTRONICS, COMPUTER, TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY (ECTI-CON), 2013,
- [49] A Design Technique for distributed Dual-band bandpass Filters 2013 IEEE 4TH LATIN AMERICAN SYMPOSIUM ON CIRCUITS AND SYSTEMS (LASCAS), 2013,