Checking amalgamability conditions for CASL architectural specifications

Publication info
  
Publication typePublication in a journal
Publication kindArticle
Publication titleChecking amalgamability conditions for CASL architectural specifications
Web URL
Journal titleLECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume
Book2136
Publication year2001
From page451
To page463
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2001

Authors list
  
 1. Andrzej Tarlecki, Zakład Logiki Stosowanej [Co-author]
 2. Piotr Hoffman, Zakład Logiki Stosowanej [Co-author]
 3. B. Klin, External unit [Co-author]
 4. A. Schroeder, External unit [Co-author]
 5. T. Mossakowski, External unit [Co-author]