Verification of the speed-independent circuits by STG unfoldings | IEEE Conference Publication | IEEE Xplore