An Interface Algebra for Real-Time Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas A. Henzinger, Slobodan Matic. An Interface Algebra for Real-Time Components. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA. pages 253-266, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Slobodan Matic' in Google

runs on WebDSL