Benutzer: Gast  Login
Autor(en):
Steinhorst, Sebastian; Hedrich, Lars 
Titel:
Trajectory-Directed Discrete State Space Modeling for Formal Verification of Nonlinear Analog Circuits 
Kongress- / Buchtitel:
Proceedings of the International Conference on Computer-Aided Design (ICCAD 2012) 
Jahr:
2012 
Monat:
11 
Seiten:
202--209