Vermont EPSCoR Publications and Products


Search        
Export 8 results:
Author Title Type [ Year(Asc)]
Filters: Author is Tian Xia  [Clear All Filters]
2008
Zheng H, Ahrens J, Xia T. A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems [Internet]. 2008 [cited 0BC];27(7):1343 - 1347. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4544873