Erich Barke, Darius Grabowski, Helmut Gräb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang
Formal approaches to analog circuit verification
DATE, 2009.
@inproceedings{DATE-2009-BarkeGGHHPSW,
author = "Erich Barke and Darius Grabowski and Helmut Gräb and Lars Hedrich and Stefan Heinen and Ralf Popp and Sebastian Steinhorst and Yifan Wang",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "724--729",
publisher = "{IEEE}",
title = "{Formal approaches to analog circuit verification}",
year = 2009,
}