Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2014 | |
| Articolo in rivista | |
| Automata-theoretic decision of timed games THEORETICAL COMPUTER SCIENCE. Vol. 515. Pag.46-63 ISSN:0304-3975. | |
| Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2013.08.021 Codice identificativo ISI: WOS:000330913500003 Codice identificativo SCOPUS: 2-s2.0-84890118252 | |
| Visualizza sul Database dei Prodotti (IRIS) |
