Erich Barke et al.: Formal approaches to analog circuit verification. (2009)conf/date/BarkeGGHHPSW09Formal approaches to analog circuit verification.8Erich Barke1Darius Grabowski2Helmut Graeb3Lars Hedrich4Stefan Heinen5Ralf Popp6Sebastian Steinhorst7Yifan Wang 00018724-729DATEDATE20092009provenance information for RDF data of dblp record 'conf/date/BarkeGGHHPSW09'2018-06-14T14:05:44+0200