Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Winning CaRet Games with Modular Strategies
2011-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Modular Synthesis with Open Components Reachability Problems
2013-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Visibly Pushdown Modular Games
2014-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner
A general modular synthesis problem for pushdown systems
2016-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Visibly pushdown modular games
2017-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Winning CaRet Games with Modular Strategies | 1-gen-2011 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
Modular Synthesis with Open Components Reachability Problems | 1-gen-2013 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
Visibly Pushdown Modular Games | 1-gen-2014 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner | |
A general modular synthesis problem for pushdown systems | 1-gen-2016 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
Visibly pushdown modular games | 1-gen-2017 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y. |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile