Viliam Holub, Frantisek Plasil. Reducing Component Systems Behavior Specification. In XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 8-9 November 2007, Iquique, Chile. pages 63-72, IEEE Computer Society, 2007. [doi]
Abstract is missing.