共 50 条
- [3] Additive transformation models for clustered failure time data Lifetime Data Analysis, 2010, 16 : 333 - 352
- [8] A linear transformation model for multivariate interval-censored failure time data CANADIAN JOURNAL OF STATISTICS-REVUE CANADIENNE DE STATISTIQUE, 2013, 41 (02): : 275 - 290
- [9] Model checking knowledge and linear time: PSPACE cases LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 195 - +
- [10] Complexity of Model Checking over General Linear Time 2013 20th International Symposium on Temporal Representation and Reasoning (TIME), 2013, : 107 - 114