KlinHTSM01'

@inproceedings{DBLP:conf/mfcs/KlinHTSM01,
  author    = {Bartek Klin and
               Piotr Hoffman and
               Andrzej Tarlecki and
               Lutz Schr{\"o}der and
               Till Mossakowski},
  title     = {Checking Amalgamability Conditions for C ASL Architectural
               Specifications},
  booktitle = {MFCS},
  year      = {2001},
  pages     = {451-463},
  ee        = {http://dx.doi.org/10.1007/3-540-44683-4_40},
  crossref  = {DBLP:conf/mfcs/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mfcs/2001,
  editor    = {Jiri Sgall and
               Ales Pultr and
               Petr Kolman},
  title     = {Mathematical Foundations of Computer Science 2001, 26th
               International Symposium, MFCS 2001 Marianske Lazne, Czech
               Republic, August 27-31, 2001, Proceedings},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2136},
  year      = {2001},
  isbn      = {3-540-42496-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}