Publication

Show all

2008

Ranganathan, Anand ; Campbell, Roy H

Provably Correct Pervasive Computing Environments Conference

Percom 2008, IEEE IEEE, Hong Kong, 2008, ISBN: 978-0-7695-3113-7.

Abstract | BibTeX | Tags: Ambient Calculus, Formal Methods, Model Checking, Pervasive Computing, verification