Papers selected and expanded from GandAlf 2013 Games, Automata. Logics and Formal Verification (with Preface).
Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)"
VILLA, Tiziano
2015-01-01
Abstract
Papers selected and expanded from GandAlf 2013 Games, Automata. Logics and Formal Verification (with Preface).File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.