A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yow-Jian Lin, Gene T. J. Wuu. A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 215-230, North-Holland, 1991.

This author has not been identified. Look up 'Yow-Jian Lin' in GoogleThis author has not been identified. Look up 'Gene T. J. Wuu' in Google

runs on WebDSL