Composition for Component-Based Modeling

Gregor Gößler, Joseph Sifakis. Composition for Component-Based Modeling. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 443-466, Springer, 2002. [doi]

Authors

Gregor Gößler

This author has not been identified. Look up 'Gregor Gößler' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google