A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing Chapter uri icon

authors