Ranger: Parallel analysis of alloy models by range partitioning
| Title | Ranger: Parallel analysis of alloy models by range partitioning |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Rosner, N, Siddiqui, JH, Aguirre, N, Khurshid, S, Frias, MF |
| Conference Name | 2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013 |
| URL | http://dx.doi.org/10.1109/ASE.2013.6693075 |
| DOI | 10.1109/ASE.2013.6693075 |
Work Package:
WP5
