Formal verification of context and situation models in pervasive computing Academic Article uri icon

publication date

  • 2013