Checking Amalgamability Conditions for C ASL Architectural Specifications.

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski

Browse the full MFCS paper archive.