共 50 条
- [11] Verifying Graph Programs with First-Order Logic [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 181 - 200
- [12] A High-Order Model Looking Beyond the First-Order Harmonic Superposition Assumption [J]. 2016 IEEE TOPICAL CONFERENCE ON POWER AMPLIFIERS FOR WIRELESS AND RADIO APPLICATIONS (PAWR), 2016, : 42 - 44
- [13] First-order Markov models for packet transmission on Rayleigh fading channels with DPSK/NCFSK modulation [J]. 2006 IEEE International Symposium on Information Theory, Vols 1-6, Proceedings, 2006, : 2864 - 2868
- [16] On the First- and Second-order Statistical Properties of Different Rayleigh Fading Channel Models [J]. 2015 9TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2015, : 1207 - 1211
- [17] A first-order Markov model for correlated Nakagami-m fading channels [J]. 2002 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2002, : 3413 - 3417
- [19] Verifying Relational Properties of Functional Programs by First-Order Refinement [J]. PROCEEDINGS OF THE 2015 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'15), 2015, : 61 - 72