Duoli Zhang, Yu-Kun Song, Gaoming Du, Yuanjie Zhai. A technique of automatic monitor generation based on FSM. In IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2008, Macao, China, November 30 2008 - December 3, 2008. pages 1775-1778, IEEE, 2008. [doi]
Abstract is missing.