Stem stgs$ (all stems)

2 papers:

DATE-2002-KhomenkoKY #detection #integer #programming #using

Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.

EDAC-1994-LinKL #approach #synthesis

Direct Synthesis of Hazard-Free Asynchronous Circuits from STGs Based on Lock Relation and BG-Decomposition Approach (KJL, JWK, CSL), pp. 178–183.