TY  - RPRT
TI  - Sequence invariant state machines
AU  - Whitaker, S.
AU  - Manjunath, S.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19940004340
ID  - 19940004340
ER  -