An Improvement of McMillan's Unfolding Algorithm.

Javier Esparza, Stefan Rmer, Walter Vogler

Browse the full TACAS paper archive.