共 50 条
- [31] First-order reversal curves of magnetic recording tapes CHINESE PHYSICS B, 2010, 19 (05) : 0575021 - 0575024
- [32] Analysis of vehicle skidding potential on horizontal curves ACCIDENT ANALYSIS AND PREVENTION, 2021, 152
- [37] Reducing Liveness to Safety in First-Order Logic PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [39] How to Win First-Order Safety Games VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 426 - 448