Property checking based on hierarchical integer equations

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. ◽

10.1109/csd.2004.1309113 ◽

2004 ◽

Cited By ~ 1

Author(s):

B. Alizadeh ◽

Z. Navabi

Download Full-text