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).
2015
games, automata, logics, formal verification
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/932581
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact