An Incremental Heap Canonicalization Algorithm

10.1.1.83.7592.pdf
PDF file

In  SPIN 05: SPIN Workshop

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
Pages28–42
> Publications > An Incremental Heap Canonicalization Algorithm