@inproceedings{KlinHoffman01,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Klin, Bartek and Hoffman, Piotr and Tarlecki, Andrzej and Schr{\"o}der, Lutz and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2664f3ed2975c83a2f456c18ed68a5de9/tillmo},
  booktitle = {Mathematical Foundations of Computer Science},
  editor = {Sgall, Jiri and Pultr, Ales and Kolman, Petr},
  interhash = {e47a824dac476776ae4d30a22c9da00c},
  intrahash = {664f3ed2975c83a2f456c18ed68a5de9},
  keywords = {Amalgamation CASL architechtural specifications},
  pages = {512--523},
  psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/amalgcheck.ps},
  publisher = {Springer; Berlin; http://www.springer.de},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Checking amalgamability conditions for {CASL} architectural specifications},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2136&spage=451},
  volume = 2136,
  year = 2001
}