Searching for "Revisiting Positive Equality." – 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.

Revisiting Positive Equality
by Shuvendu K. Lahiri, Randal E. Bryant, Al E. Bryant, Amit Goel, Muralidhar Talupur — 2004 — In Tools and Algorithms for the Construction and Analysis of Systems, volume 2988 of LNCS
…Revisiting Positive Equality ? Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, and Muralidhar…
Cited by 6 (2 self) – Add To MetaCart

Cv
by Shuvendu K. Lahiri, Advisor Prof R, Advisor Prof R, Al E. Bryant, Al E. Bryant
… on Verification, Model Checking and Abstract Interpretation (VMCAI), January 2004 "Revisiting Positive Equality…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB