-
21
-
22
Automatic synthesis of deadlock free connectors for COM
Published in Software engineering notes.Article -
23
A notation for problematic architecture interactions.
Published in Software engineering notes.Article -
24
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
25
-
26
WREN---an environment for component-based development.
Published in Software engineering notes.Article -
27
-
28
-
29
-
30