共 50 条
- [3] Special Issue on Body Area Networks [J]. MOBILE NETWORKS & APPLICATIONS, 2014, 19 (06): : 683 - 683
- [8] Preface of the special issue on the conference on computer-aided verification 2018 [J]. Formal Methods in System Design, 2021, 57 : 1 - 2