1.

Technical Paper
Technical Paper
1. TRINITY ALGEBRA AND FULL-DECOMPOSITIONS OF SEQUENTIAL MACHINES
HOU, Y.
Pub. info.: NASA Technical Reports.  (B8668297),  pp.1-176,  1986.  National Aeronautics and Space Administration
2.

Technical Paper
Technical Paper
2. DASM: A Tool for Decomposition and Analysis of Sequential Machines
HOU, Y.
Pub. info.: NASA Technical Reports(N88-).  (EUT-87-E-170),  pp.1-60,  1987.  National Aeronautics and Space Administration