Paper on join
There is a new paper giving the details on the join operator which
allows high scalability in shape analysis. We have submitted this to
CAV 2008.
Post a Comment
No comments:
Post a Comment