Preface

Abstract

Data di Pubblicazione:

2021

Tipologia CRIS:

01.05 Abstract in rivista

Keywords:

games; automata; logic; verification

Elenco autori:

Orlandini, Andrea

Autori di Ateneo:

ORLANDINI ANDREA

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/395366

Pubblicato in:

INFORMATION AND COMPUTATION

Journal

Dati Generali

URL

http://www.scopus.com/record/display.url?eid=2-s2.0-85086334936&origin=inward