TY - BOOK AU - Fern¿ndez TI - Symbolic Analysis Techniques: Applications to Analog Design Automation PB - IEEE UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=5264205 ER -