Model Checking Strategy-Controlled Rewriting Systems (System Description) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rubén Rubio' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. Look up 'Isabel Pita' in GoogleThis author has not been identified. Look up 'Alberto Verdejo' in Google

runs on WebDSL