Mixed-Signal Circuit Verification Using Symbolic Model Checking Techniques
Alexander Jesser(Author)
Dr. Hut (Publisher)
Published on 18. December 2008
Book
Paperback/Softback
234 pages
978-3-89963-841-7 (ISBN)
More details
Series
Thesis
Doctoral thesis
2008
Johann Wolfgang Goethe Universität Frankfurt/Main
Language
Other
Dimensions
Height: 21 cm
Width: 14.8 cm
Weight
351 gr
ISBN-13
978-3-89963-841-7 (9783899638417)
Schweitzer Classification