Andrea Orlandini (ISTC-CNR

Identifiers

No identifiers captured yet.

Papers (1)

1. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification cs.GT · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• CNRS & ENS de Cachan) 1 shared papers
• Italy) 1 shared papers
• Patricia Bouyer (LSV 1 shared papers
• Pierluigi San Pietro (DEIB 1 shared papers
• Politecnico di Milano) 1 shared papers