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

1 Tian Xia [1]

2 Hao Zheng (Hank Jayne) [1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page