An Integrated Formal Task Specification Method for Smart Environments

Maik Wurdel. An Integrated Formal Task Specification Method for Smart Environments. PhD thesis, University of Rostock, 2011.

Abstract

Abstract is missing.