TY  - BOOK
TI  - SAT-Based Scalable Formal Verification Solutions
SN  - 978-0-387-23895-1
AV  - كتب إلكترونية 
PB  - Springer
KW  - Computer Science
N1  - Subscription to database on August 2010
UR  - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69166-4
ER  -