Modal Logics for Reasoning about Object-based Component Composition (2000)

Cached

Download Links

by Claus Pahl
Venue:In Proc. 4rd Irish Workshop on Formal Methods
Citations:1 - 1 self

Document Versions

Modal Logics for Reasoning about Object-based Component Composition –Claus Pahl — 2000 — In Proc. 4rd Irish Workshop on Formal Methods