Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li. Ensuring privacy in presence awareness: an automated verification approach. In CSCW. pages 59-68, 2000. [doi]
@inproceedings{GodefroidyHJL00,
title = {Ensuring privacy in presence awareness: an automated verification approach},
author = {Patrice Godefroid and James D. Herbsleb and Lalita Jategaonkar Jagadeesan and Du Li},
year = {2000},
doi = {10.1145/358916.358963},
url = {http://doi.acm.org/10.1145/358916.358963},
tags = {context-aware, systematic-approach},
researchr = {https://researchr.org/publication/GodefroidyHJL00},
cites = {0},
citedby = {0},
pages = {59-68},
booktitle = {CSCW},
}