@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.} }