Paper accepted

Our paper “From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits” is accepted at ICCAD’13.