Model checking strategy-controlled rewriting systems
ISSN: 1868-8969
ISBN: 9783959771078
Any de publicació: 2019
Volum: 131
Tipus: Aportació congrés
ISSN: 1868-8969
ISBN: 9783959771078
Any de publicació: 2019
Volum: 131
Tipus: Aportació congrés