3390865
Results 1 to 1 of 1
Selection :
An efficient heuristic procedure for solving the state assignment problem for event-based specificationsLAVAGNO, L; MOON, C. W; BRAYTON, R. K et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1995, Vol 14, Num 1, pp 45-60, issn 0278-0070Article