共 50 条
- [41] From Natural Projection to Partial Model Checking and Back TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 344 - 361
- [45] THE BOW-BACK OPERATION FOR THE RELIEF OF PROGNATHISM AMERICAN JOURNAL OF ORTHODONTICS AND ORAL SURGERY-ORAL SURGERY, 1947, 33 (11): : 773 - 779