"Completeness bounds and sequentialization for model checking of ..."

Sunha Ahn, Sharad Malik, Aarti Gupta (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics