Lockstep Composition for Unbalanced Loops.

Ameer Hamza, Grigory Fedyukovich

Browse the full TACAS paper archive.