Anli He

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri: Exploiting OVL standard assertions in a theorem-proving-based verification environment. Circuits, Signals, and Systems 2004: 249-254

	2004
1		Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri: Exploiting OVL standard assertions in a theorem-proving-based verification environment. Circuits, Signals, and Systems 2004: 249-254

Coauthor Index