A New Unfolding Approach to LTL Model Checking.

Javier Esparza, Keijo Heljanko

Browse the full ICALP paper archive.