Decomposition-oriented extraction of the control path from high-level behavioral descriptions
Udre, Jüri
2nd Baltic Summer School on Information Technology and Systems Engineering, 25-28 July 1994, Nelijärve
1994