Model checking strategy-controlled rewriting systems
ISSN: 1868-8969
ISBN: 9783959771078
Ano de publicación: 2019
Volume: 131
Tipo: Achega congreso
ISSN: 1868-8969
ISBN: 9783959771078
Ano de publicación: 2019
Volume: 131
Tipo: Achega congreso