@inproceedings{698722,
 address = {Macao},
 author = {Ivana Černá and Pavlína Vařeková and Barbora Zimmerová},
 booktitle = {Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)},
 keywords = {component-based systems; reconfiguration correctness; component substitutability; independent implementability},
 language = {eng},
 location = {Macao},
 pages = {115-130},
 publisher = {UNU-IIST},
 title = {Component Substitutability via Equivalencies of Component-Interaction Automata},
 year = {2006}
}