Authors: RADIVOJEVIC I BREWER F

Citation: I. Radivojevic et F. Brewer, A NEW SYMBOLIC TECHNIQUE FOR CONTROL-DEPENDENT SCHEDULING, IEEE transactions on computer-aided design of integrated circuits and systems, 15(1), 1996, pp. 45-57