(2007). SAT Based Scalable Formal Verification Solutions (1. Ed.). Springer US. https://doi.org/10.1007/978-0-387-69167-1
Chicago-Zitierstil (17. Ausg.)SAT Based Scalable Formal Verification Solutions. 1. Ed. Berlin: Springer US, 2007. https://doi.org/10.1007/978-0-387-69167-1.
MLA-Zitierstil (9. Ausg.)SAT Based Scalable Formal Verification Solutions. 1. Ed. Springer US, 2007. https://doi.org/10.1007/978-0-387-69167-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.