Xin Hua (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Xin Hua, Hantao Zhang: Formal Semantics of VHDL for Verification of Circuit Designs. ICCD 1993: 446-449

3 Hantao Zhang, Xin Hua: Proving the Chinese Remainder Theorem by the Cover Set Induction. CADE 1992: 431-445

2 Xin Hua, Hantao Zhang: FRI: Failure-Resistant Induction in RRL. CADE 1992: 691-695

1 Hantao Zhang, Angshuman Guha, Xin Hua: Using Algebraic Specification in Floyd-Hoare Assertions. AMAST 1991: 350-362

Selection of 4 from 4 records - Xin Hua has 2 coauthors

4		Xin Hua, Hantao Zhang: Formal Semantics of VHDL for Verification of Circuit Designs. ICCD 1993: 446-449
3		Hantao Zhang, Xin Hua: Proving the Chinese Remainder Theorem by the Cover Set Induction. CADE 1992: 431-445
2		Xin Hua, Hantao Zhang: FRI: Failure-Resistant Induction in RRL. CADE 1992: 691-695
1		Hantao Zhang, Angshuman Guha, Xin Hua: Using Algebraic Specification in Floyd-Hoare Assertions. AMAST 1991: 350-362