DOI,IST REx ID,Title of publication
10.1007/s10703-009-0085-x,4379,Analog property checkers: a DDR2 case study