Replicating sc Restart with Prolonged Retrials: An Experimental Report.

Carlos E. Budde, Arnd Hartmanns

Browse the full TACAS paper archive.