Model checking strategy-controlled rewriting systems

  1. Rubio, R.
  2. Martí-Oliet, N.
  3. Pita, I.
  4. Verdejo, A.
Proceedings:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959771078

Year of publication: 2019

Volume: 131

Type: Conference paper

DOI: 10.4230/LIPICS.FSCD.2019.34 GOOGLE SCHOLAR
Data source: Scopus