"Hitting Families of Schedules for Asynchronous Programs."

Dmitry Chistikov, Rupak Majumdar, Filip Niksic (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics