# Bib file

@inproceedings{khtsm2001},
  author = {B. Klin and P. Hoffman and A. Tarlecki and L. Schr{\"o}der 
            and T. Mossakowski},
  title = {Checking Amalgamability Conditions in CASL Architectural
           Specifications},
  booktitle = {Proc. MFCS 2001},
  series = {LNCS},
  volume = {2136},
  year = {2001}
}