@inproceedings{CSCW-2000-GodefroidyHJL,
	author        = "Patrice Godefroid and James D. Herbsleb and Lalita Jategaonkar Jagadeesan and Du Li",
	booktitle     = "{Proceedings of the Eighth ACM Conference on Computer Supported Cooperative Work}",
	doi           = "10.1145/358916.358963",
	isbn          = "1-58113-222-0",
	pages         = "59--68",
	publisher     = "{ACM}",
	title         = "{Ensuring privacy in presence awareness: an automated verification approach}",
	year          = 2000,
}