%0 Conference Paper %1 KlinHoffman01 %A Klin, Bartek %A Hoffman, Piotr %A Tarlecki, Andrzej %A Schröder, Lutz %A Mossakowski, Till %B Mathematical Foundations of Computer Science %D 2001 %E Sgall, Jiri %E Pultr, Ales %E Kolman, Petr %I Springer; Berlin; http://www.springer.de %K Amalgamation CASL architechtural specifications %P 512--523 %T Checking amalgamability conditions for CASL architectural specifications %U http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2136&spage=451 %V 2136

@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 }