共 50 条
- [25] A first-order superscalar processor model 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 2004, : 338 - 349
- [28] First-order planar autoregressive model MODERN STOCHASTICS-THEORY AND APPLICATIONS, 2025, 12 (01): : 83 - 121
- [30] An extension of first-order LTL with rules with application to runtime verification International Journal on Software Tools for Technology Transfer, 2021, 23 : 547 - 563