"Effective Partial Order Reduction in Model Checking Database Applications."

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics