Search Books

Improving OBDD based verification through internal equavalencies (Technical report)

Author Subodh M Reddy
Publisher Dept. of Computer Science, Texas A & M University
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Price not listed
🛒 Buy New on Amazon 🇺🇸
Share:
Book Details
Author(s)Subodh M Reddy
PublisherDept. of Computer Science, Texas A & M University
ISBN / ASINB0006QVS3Q
ISBN-13978B0006QVS35
Sales Rank99,999,999
MarketplaceUnited States 🇺🇸