@inproceedings{PPoPP-2015-ChangG,
	author        = "Yen-Jung Chang and Vijay K. Garg",
	booktitle     = "{Proceedings of the 20th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/2688500.2688520",
	isbn          = "978-1-4503-3205-7",
	pages         = "140--149",
	publisher     = "{ACM}",
	title         = "{A parallel algorithm for global states enumeration in concurrent systems}",
	year          = 2015,
}