Zobrazeno 1 - 10
of 26
pro vyhledávání: '"DE CRESCENZO, ILARIA"'
Publikováno v:
EPTCS 161, 2014, pp. 260-274
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a m
Externí odkaz:
http://arxiv.org/abs/1408.5969
Publikováno v:
Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p495-513, 19p
Autor:
Stabile, Giuseppe, Russo, Vincenzo, Rapacciuolo, Antonio, De Divitiis, Marcello, De Simone, Antonio, Solimene, Francesco, D'Onofrio, Antonio, Iuliano, Assunta, Maresca, Gennaro, Esposito, Francesca, La Rocca, Vincenzo, Schillaci, Vincenzo, De Crescenzo, Ilaria, Losi, Maria Angela, Librera, Mariateresa
Publikováno v:
In International Journal of Cardiology 1 April 2015 184:283-284
Publikováno v:
Reachability Problems (9783642410352); 2013, p96-108, 13p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Russo, Vincenzo, De Crescenzo, Ilaria, Ammendola, Ernesto, Cavallaro, Ciro, Santangelo, Lucio, Calabrò, Raffaele
Publikováno v:
EP: Europace; Jul2007, Vol. 9 Issue 7, p528-530, 3p