"Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties."

Ali Ebnenasir (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics