Jared Ahrens

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Hao Zheng, Jared Ahrens, Tian Xia: A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1343-1347 (2008)

	2008
1		Hao Zheng, Jared Ahrens, Tian Xia: A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1343-1347 (2008)

Coauthor Index