Vol-113⫷ Vol-114 ⫸Vol-115
urn:nbn:de:0074-114-0


Vol-114/paper-1⫷Vol-114/paper-2⫸Vol-114/paper-3

Formal Modeling in Context Aware Systems