FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Artikel in Konferenzband
Autor:	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz SchrÃ¶der, Till Mossakowski
Herausgeber:	Jiri Sgall, Ales Pultr, Petr Kolman
Titel:	Checking amalgamability conditions for {CASL} architectural specifications
Buch / Sammlungs-Titel:	Mathematical Foundations of Computer Science
Band:	2136
Seite(n):	512 – 523
Serie / Reihe:	Lecture Notes in Computer Science
Erscheinungsjahr:	2001
Verleger:	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
Schlagworte:	Amalgamation CASL architechtural specifications
Status:	Reviewed
Letzte Aktualisierung:	22. 06. 2005

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023