Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
Ranger: Parallel analysis of alloy models by range partitioning
ASE, 2013.
@inproceedings{ASE-2013-RosnerSAKF,
author = "Nicolás Rosner and Junaid Haroon Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693075",
pages = "147--157",
publisher = "{IEEE}",
title = "{Ranger: Parallel analysis of alloy models by range partitioning}",
year = 2013,
}