Publications

Provably correct pervasive computing environments

• • Anand Ranganathan
  • Roy H. Campbell
• 2008
• PerCom 2008