共 50 条
- [22] User-friendly verification FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 279 - 294
- [23] navigu.net: NAvigation in Visual Image Graphs gets User-friendly PROCEEDINGS OF THE 2023 ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA RETRIEVAL, ICMR 2023, 2023, : 654 - 658