TY  - JOUR
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Record & play : a structural fixed point iteration for sequential circuit verification
Y1  - 1997
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/23781
SN  - 0-8186-8200-0
ER  -