Searching for "An Incremental Heap Canonicalization Algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

An incremental heap canonicalization algorithm
by Madanlal Musuvathi, David L. Dill — 2005 — In SPIN
…An Incremental Heap Canonicalization Algorithm Madanlal Musuvathi 1 and David L. Dill 2 1…
Cited by 6 (0 self) – Add To MetaCart

Cmc: A Model Checker For Network Protocol Implementations
by Madanlal Musuvathi, David L. Dill, Mihalis Yannakakis — 2004
….4 The incremental heap canonicalization algorithm . . . . . . . . . . . . 54 3.5 The improved heap canonicalization…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB