A more reliable reduction algorithm for behavioral model extraction Dmitry Vasilyev, Jacob White Massachusetts Institute of Technology.
A more reliable reduction algorithm for behavioral model extraction
