Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2005 | |
| Articolo in rivista | |
| Weak Muller acceptance conditions for tree automata THEORETICAL COMPUTER SCIENCE. Vol. 332. Pag.233-250 ISSN:0304-3975. | |
| LA TORRE, Salvatore; A., Murano; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000227578800011 Codice identificativo SCOPUS: 2-s2.0-13644259310 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Decidability and Infinite Precision in Timed Automata. In: Atti del 43esimo Congresso Annuale AICAVol.2, Pag.465-474 | |
| 43esimo Congresso Annuale AICA Udine (Italia) 5-7 Ottobre, 2005 | |
| LA TORRE, Salvatore | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Perturbed Timed Automata. In: Proc. of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC 2005). Lecture Notes in Computer Science Berlin Springer Vol.3414, Pag.70-85 ISBN:3540251081 | |
| Hybrid Systems: Computation and Control, HSCC 2005 Zurich (Switzerland) March 9-11, 2005 | |
| Alur, R; LA TORRE, Salvatore; Madhusudan, P. | |
| Codice identificativo SCOPUS: 2-s2.0-24344501346 | |
| Visualizza sul Database dei Prodotti (IRIS) |
