Sciweavers

63
Voted
ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
15 years 1 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