Implication of assertion graphs in GSTE.

Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song

Browse the full ASPDAC paper archive.