Hits:
Indexed by:期刊论文
Date of Publication:2011-01-01
Journal:大连理工大学学报
Included Journals:PKU、ISTIC
Volume:32
Issue:z2
Page Number:140-141
Pre One:Combining symbolic simulation and Groebner bases approach for constrained PSL property verification
Next One:Combining symbolic simulation and groebner bases approach for constrained psl property verification