New ideas on symbolic manipulations of finite state machines (1990)

by C Berthet, O Coudert, J C Madre
Venue:In IEEE/ACM International Conference on Computer Aided Design (ICCAD