共 50 条
- [44] Partial-Order Reduction in Symbolic State-Space Exploration Formal Methods in System Design, 2001, 18 : 97 - 116
- [45] Joint order and dependency reduction for LPV state-space models 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 6291 - 6296
- [47] Coherent Mortality Model in A State-Space Approach SAINS MALAYSIANA, 2021, 50 (04): : 1101 - 1111