共 50 条
- [22] Semiparametric additive frailty hazard model for clustered failure time data CANADIAN JOURNAL OF STATISTICS-REVUE CANADIENNE DE STATISTIQUE, 2022, 50 (02): : 549 - 571
- [27] Efficient CTMC Model Checking of Linear Real-Time Objectives TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 128 - +
- [28] Practical Efficient Modular Linear-Time Model-Checking AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 408 - +