An improvement of mcmillan’s unfolding algorithm (1996)

by Javier Esparza, Stefan Römer, Walter Vogler
Venue:In TACAS