Model checking strategy-controlled rewriting systems

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

ISSN: 1868-8969

ISBN: 9783959771078

Año de publicación: 2019

Volumen: 131

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.FSCD.2019.34 GOOGLE SCHOLAR
Fuente de los datos: Scopus