Release Time:2019-03-12 Hits:
Indexed by: Journal Article
Date of Publication: 2011-01-01
Journal: 大连理工大学学报
Included Journals: ISTIC、PKU
Volume: 32
Issue: z2
Page Number: 140-141
Prev 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