Probabilistic Timed Protocol Verification for the Extended State Transition Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu. Probabilistic Timed Protocol Verification for the Extended State Transition Model. In Lionel M. Ni, editor, Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China. pages 432-437, IEEE Computer Society, 1994.

This author has not been identified. Look up 'Chung-Ming Huang' in GoogleThis author has not been identified. Look up 'Shiun-Wei Lee' in GoogleThis author has not been identified. Look up 'Jenq-Muh Hsu' in Google

runs on WebDSL