Preface

Abstract

Publication Date:

2021

Iris type:

01.05 Abstract in rivista

Keywords:

games; automata; logic; verification

List of contributors:

Orlandini, Andrea

Authors of the University:

ORLANDINI ANDREA

Handle:

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

Published in:

INFORMATION AND COMPUTATION

Journal

Overview

URL

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