@BOOK{ Book!D - 103377262,
AUTHOR = "/ written by Katarzyna Radecka, Zeljko Zilic",
TITLE = "Verification by error modeling",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران",
SUBJECT = "Integrated circuits--Very large scale integration--Computer-aided design,Integrated circuits--Verification,Error analysis (Mathematics)",
URL = "/book/103377262/Verification-by-error-modeling/"}