Checking amalgamability conditions for Casl architectural specifications (2001)

by Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
Venue:PROC. INTL. SYMP. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS 2001. SPRINGER LNCS 2136
Citations:12 - 9 self