EnglishCancella i cookie per la scelta della lingua
in titoli, abstract e parole chiave
Ricerca
Ricerca semplice
Ricerca avanzata
Ultime accessioni
Scorri per
Autore
Settori scientifico-disciplinari
Anno
Tipologia prodotto
Accessibilità del full-text
Informazioni
Policy
Informazioni su fedOA
FAQ
Contatti
[up]
[pin missing: url][pin missing: url]
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 1.

Di Stasio, Antonio (2018) Reasoning about LTL Synthesis over finite and infinite games. [Tesi di dottorato]

Questa lista è stata generata il Wed Apr 30 12:50:01 2025 CEST.

Università di Napoli - Centro di Ateneo per le Biblioteche