TY  - RPRT
TI  - Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
AU  - Yu Huang
AU  - Jianping Yu
AU  - Jiannong Cao
AU  - Xiaoxing Ma
AU  - Xianping Tao
AU  - Jian Lu
PY  - 2009
UR  - https://arxiv.org/abs/0911.0136
ID  - 0911.0136
ER  -