Sciweavers

ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
13 years 9 months ago
Shape-based sequential machine analysis
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
A. Crews, F. Brewer