The following publications are possibly variants of this publication:
- Implication of assertion graphs in GSTEGuowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song. aspdac 2005: 1060-1063 [doi]
- Maximal Models of Assertion Graph in GSTEGuowu Yang, Jin Yang, Xiaoyu Song, Fei Xie. tamc 2006: 684-693 [doi]
- A Transformation-Based Approach to Implication of GSTE Assertion GraphsGuowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo. jam, 2013, 2013. [doi]
- Efficient Generation of Monitor Circuits for GSTE Assertion GraphsAlan J. Hu, Jeremy Casas, Jin Yang. iccad 2003: 154-160 [doi]
- An assertion graph based abstraction algorithm in GSTE and Its applicationDesheng Zheng, Xiaoyu Li, Guowu Yang, Hai Wang, Lulu Tian. integration, 63:1-8, 2018. [doi]
- Generating Monitor Circuits for Simulation-Friendly GSTE Assertion GraphsKelvin Ng, Alan J. Hu, Jin Yang. iccd 2004: 409-416 [doi]