FB 3

Group BKB > Publications > Search >

Deutsch
English

Publications Search - Details

Publication type:	Article in Proceedings
Author:	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz SchrÃ¶der, Till Mossakowski
Editor:	Jiri Sgall, Ales Pultr, Petr Kolman
Title:	Checking amalgamability conditions for CASL architectural specifications
Book / Collection title:	Mathematical Foundations of Computer Science
Volume:	2136
Page(s):	512 – 523
Series:	Lecture Notes in Computer Science
Year published:	2001
Publisher:	Springer, Berlin
Internet:	http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2136&spage=451
PostScript Version:	http://www.informatik.uni-bremen.de/~lschrode/papers/amalgcheck.ps
Keywords:	Amalgamation CASL architechtural specifications
Status:	Reviewed
Last updated:	22. 06. 2005

Back to result list

Author: Automatically generated page

Group BKB

Last updated: May 9, 2023