Checking amalgamability conditions for CASL architectural specifications
Publication info
Publication type
Publication in a journal
Publication kind
Article
Publication title
Checking amalgamability conditions for CASL architectural specifications
Web URL
Journal title
LECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume
Book
2136
Publication year
2001
From page
451
To page
463
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2001
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
]