Interface theories with component reuse

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov. Interface theories with component reuse. In Luca de Alfaro, Jens Palsberg, editors, Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. pages 79-88, ACM, 2008. [doi]

Authors

Laurent Doyen

This author has not been identified. Look up 'Laurent Doyen' in Google

Thomas A. Henzinger

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

Barbara Jobstmann

This author has not been identified. Look up 'Barbara Jobstmann' in Google

Tatjana Petrov

This author has not been identified. Look up 'Tatjana Petrov' in Google