Walter Hartong, Lars Hedrich, Erich Barke
Model checking algorithms for analog verification
DAC, 2002.
@inproceedings{DAC-2002-HartongHB, author = "Walter Hartong and Lars Hedrich and Erich Barke", booktitle = "{Proceedings of the 39th Design Automation Conference}", doi = "10.1145/513918.514055", isbn = "1-58113-461-4", pages = "542--547", publisher = "{ACM}", title = "{Model checking algorithms for analog verification}", year = 2002, }