Efficient automatic STE refinement using responsibility (2008)

by H Chockler, O Grumberg, A Yadgar
Venue:In Proc. 14th Conference on Tools and Algorithms for the Construction and Analysis of Systems