Model-checking techniques based on cumulative residuals (Q77756812)
Jump to navigation
Jump to search
scientific article published on 01 March 2002
Language | Label | Description | Also known as |
---|---|---|---|
English | Model-checking techniques based on cumulative residuals |
scientific article published on 01 March 2002 |
Statements
Model-checking techniques based on cumulative residuals (English)
D Y Lin
L J Wei