%0 Conference Proceedings
%F GoesslerSifakis2003
%A Goessler, G.
%A Sifakis, J.
%T Component-Based Construction of Deadlock-Free Systems (Extended Abstract)
%B proc. FSTTCS'03
%V 2914
%S LNCS
%I Springer-Verlag
%D 2003