Modeling and Verification of Context-Aware Systems.

Minh H. Tran, Alan W. Colman, Jun Han, Hongyu Zhang

Browse the full APSEC paper archive.