Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
An Incremental Heap Canonicalization Algorithm

Madanlal Musuvathi and David L. Dill

Details

Publication typeInproceedings
Published inSPIN 05: SPIN Workshop
Pages28–42
PublisherSpringer Verlag
> Publications > An Incremental Heap Canonicalization Algorithm