Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Junaid Haroon Siddiqui  [Clear All Filters]
2013
N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias, “Ranger: Parallel analysis of alloy models by range partitioning”, in 2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.