共 50 条
- [36] Asymptotic derivation of a higher-order one-dimensional model for tape springs PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2023, 381 (2244):
- [40] Higher-Order Model Checking ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 13 - 13