Hits:
Indexed by:会议论文
Date of Publication:2011-01-01
Volume:2
Issue:LENN133
Page Number:309-316
Pre One:Combining symbolic simulation and groebner bases approach for constrained psl property verification
Next One:"计算机硬件技术基础"课程体系的改革与实践