W.: An improvement of McMillan’s unfolding algorithm (2002)

by J Esparza, S Römer, Vogler
Venue:Formal Methods in System Design