Searching for authors named "Piotr Hoffman" – sorted by Relevance.
-
Checking amalgamability conditions for Casl architectural specifications
- Checking Amalgamability Conditions for CASL Architectural Specifications Bartek Klin1, Piotr
- Cited by 12 (8 self) – Add To MetaCart
-
Semantics of architectural specifications in Casl
- Tarlecki 2,3 , Bartek Klin 4 , and Piotr Hoffman 2 1 BISS, Department of Computer Science, Bremen
- Cited by 9 (6 self) – Add To MetaCart
-
Amalgamation in the Semantics of CASL
- ,c,3 Bartek Klin d Piotr Hoffman b,3 a BISS, Department of Computer Science, Bremen University, P
- Add To MetaCart

