%PDF-1.4
%
1 0 obj <>stream
application/pdfIEEE2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE);2013; ; ;10.1109/ASE.2013.6693075Static analysisAlloyParallel analysisSATRanger: Parallel analysis of alloy models by range partitioningNicolas RosnerJunaid H. SiddiquiNazareno AguirreSarfraz KhurshidMarcelo F. Frias
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)147 Nov. 201310.1109/ASE.2013.6693075157
endstream
endobj
2 0 obj <>stream
application/pdf2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE);2013; ; ;10.1109/ASE.2013.6693075Ranger: Parallel analysis of alloy models by range partitioning
Conference Publishing Consulting; modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
2013-10-20T03:29:57.000Z2018-12-02T09:28:27.000ZLaTeX - e741761680cbdfe9bb42bd394d5ba1
endstream
endobj
3 0 obj<>
endobj
4 0 obj <>stream
xڍP\
ݵqww
hӸC@p-#sz{c9W&WQc57Jك]Y ll,ll. bDjM=X_N@7˛=
syy ll1w HYY r`3"[<LDNf&`- fof
ttBV..,&v,N .V@ga/f, u+kj.&N@ dm;ýN 5Y_LOd
i
XX e)& C5M R 7s6svpqfqA0o, 6]O hv재ulXX- avtJm&Bfcc @3+?«{: T!~c` x# z;.N@_+!̭\ @Kk0;Y{ f'2