Efficient automatic STE refinement using responsibility (2008)

by H Chockler, O Grumberg, A Yadgar
Venue:In Proc. of TACAS