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

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.

Abstract is missing.

runs on WebDSL