Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2015 | |
| Articolo in rivista | |
| Parametric metric interval temporal logic THEORETICAL COMPUTER SCIENCE. Vol. 564. Pag.131-148 ISSN:0304-3975. | |
| Barbara Di, Giampaolo; LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2014.11.019 Codice identificativo ISI: WOS:000348951300006 Codice identificativo SCOPUS: 2-s2.0-84926345008 | |
| Visualizza sul Database dei Prodotti (IRIS) |
