by Lochi Yu, University of California, IrvineJune 18, 2009
Automatic Generation and Verification of Transaction Level Models
read more
by Lochi Yu, University of California, IrvineJune 18, 2009
by Jinsik Kim, University of California, IrvineMay 19, 2010
by Chongjing Chen, University of California, IrvineNovember 18, 2009
by Amin Khajeh Djahromi, University of California, IrvineNovember 29, 2010
by Jayram Moorkanikara NageswaranSeptember 3, 2010
by Carmen Badea, University of California, IrvineSeptember 7, 2010
by Houman HomayounSeptember 3, 2011
by Amir Hossein GholamipourSeptember 28, 2011
by Chung-An ShenFebruary 23, 2012
by Sehwan KimOctober 27, 2011