Hengfeng Wei, Yu Huang 0002, Jiannong Cao, Xiaoxing Ma, Jian Lu. Formal specification and runtime detection of temporal properties for asynchronous context. In Silvia Giordano, Marc Langheinrich, Albrecht Schmidt, editors, 2012 IEEE International Conference on Pervasive Computing and Communications, Lugano, Switzerland, March 19-23, 2012. pages 30-38, IEEE, 2012. [doi]
@inproceedings{WeiHCML12,
title = {Formal specification and runtime detection of temporal properties for asynchronous context},
author = {Hengfeng Wei and Yu Huang 0002 and Jiannong Cao and Xiaoxing Ma and Jian Lu},
year = {2012},
doi = {10.1109/PerCom.2012.6199846},
url = {http://dx.doi.org/10.1109/PerCom.2012.6199846},
researchr = {https://researchr.org/publication/WeiHCML12},
cites = {0},
citedby = {0},
pages = {30-38},
booktitle = {2012 IEEE International Conference on Pervasive Computing and Communications, Lugano, Switzerland, March 19-23, 2012},
editor = {Silvia Giordano and Marc Langheinrich and Albrecht Schmidt},
publisher = {IEEE},
isbn = {978-1-4673-0256-2},
}