Games, automata, logics and formal verification (GandALF 2016)
Cantone, Domenico, Delzanno, GiorgioVolume:
262
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2018.09.003
Date:
October, 2018
File:
PDF, 139 KB
english, 2018