Semantics of architectural specifications in CASL

Publication info
  
Publication typePublication in a journal
Publication kindArticle
Publication titleSemantics of architectural specifications in CASL
Web URL
Journal titleLECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume
Book2029
Publication year2001
From page253
To page266
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]