TY - RPRT TI - Model-checking techniques based on cumulative residuals. AU - D Y Lin AU - L J Wei AU - Z Ying PY - 2002 DO - 10.1111/j.0006-341x.2002.00001.x UR - https://pubmed.ncbi.nlm.nih.gov/11890304/ ID - 11890304 ER -