MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Automatic Abstraction without Counterexamples." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Cadence Design Systems  
  • by K. L. Mcmillan, Nina Amla
  • … Automatic Abstraction without Counterexamples K. L. McMillan and Nina Amla Cadence Design…
  • Add To MetaCart
  • Designing Correct Circuits.  
  • by Edited Mary Sheeran, Tom Melham, Mary Sheeran, Tom Melham — 2006
  • …,” Princeton University Press, 1999. [8] K. L. McMillan and N. Amla, “Automatic Abstraction without…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB