Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Model Checking Strategy-Controlled Rewriting Systems (System Description). In Herman Geuvers, editor, 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. Volume 131 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.