Improving OBDD based verification through internal equavalencies (Technical report) Buy on Amazon
Facebook LinkedIn

Improving OBDD based verification through internal equavalencies (Technical report)

Author Subodh M Reddy
Publisher Dept. of Computer Science, Texas A & M University
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇺🇸
Book Details
Author(s) Subodh M Reddy
Publisher Dept. of Computer Science, Texas A & M University
ISBN / ASIN B0006QVS3Q
ISBN-13 978B0006QVS35
Sales Rank #99,999,999
Marketplace United States 🇺🇸
Donate to EbookNetworking
← No Prev
No Next →