@conference {434,
	title = {Ranger: Parallel analysis of alloy models by range partitioning},
	booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013},
	year = {2013},
	doi = {10.1109/ASE.2013.6693075},
	url = {http://dx.doi.org/10.1109/ASE.2013.6693075},
	author = {Nicol{\'a}s Rosner and Junaid Haroon Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Frias, Marcelo F.}
}