Checking Amalgamability Conditions for C ASL Architectural Specifications. Klin, B., Hoffman, P., Tarlecki, A., Schröder, L., & Mossakowski, T. In Proceedings of Mathematical Foundations of Computer Science (MFCS), pages 451-463, 2001.
Checking Amalgamability Conditions for C ASL Architectural Specifications [link]Paper  bibtex   
@inproceedings{ dblp4411090,
  title = {Checking Amalgamability Conditions for C ASL Architectural Specifications},
  author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schröder and Till Mossakowski},
  author_short = {Klin, B. and Hoffman, P. and Tarlecki, A. and Schröder, L. and Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2001},
  key = {dblp4411090},
  id = {dblp4411090},
  biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/KlinHTSM01},
  url = {http://dx.doi.org/10.1007/3-540-44683-4_40},
  conference = {MFCS},
  pages = {451-463},
  text = {MFCS 2001:451-463},
  booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}
}

Downloads: 0