Detecting state coding conflicts in STG unfoldings using SAT

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207699 ◽

2004 ◽

Cited By ~ 10

Author(s):

V. Khomenko ◽

M. Koutny ◽

A. Yakovlev

Download Full-text