Efficient Deadlock-Freeness Detection in Real-time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rong Peng, Jingsong Cui, Yue Pan. Efficient Deadlock-Freeness Detection in Real-time Systems. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 805-809, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Rong Peng' in GoogleThis author has not been identified. Look up 'Jingsong Cui' in GoogleThis author has not been identified. Look up 'Yue Pan' in Google

runs on WebDSL