Model checking strategy-controlled rewriting systems
ISSN: 1868-8969
ISBN: 9783959771078
Año de publicación: 2019
Volumen: 131
Tipo: Aportación congreso
ISSN: 1868-8969
ISBN: 9783959771078
Año de publicación: 2019
Volumen: 131
Tipo: Aportación congreso