Vol-2645⫷ Vol-2646 ⫸Vol-2647
urn:nbn:de:0074-2646-0


Vol-2646/46-paper⫷Vol-2646/01-paper⫸Vol-2646/02-paper
Maria Elena ValcherFabio Alberto Schreiber

Formal Verification of Context Aware Systems