Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2008 | |
| Contributo in Atti di convegno | |
| An Infinite Automaton Characterization of Double Exponential Time. In: Proc. of the 17th EACSL Annual Conference onComputer Science Logic (CSL'08) BERLIN Springer Vol.5213, Pag.33-48 ISBN:3540875301 | |
| Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL Bertinoro (Italy) September 15-20, 2008. | |
| LA TORRE, Salvatore; P., Madhusudan; G., Parlato | |
| Codice identificativo ISI: WOS:000261091200004 Codice identificativo SCOPUS: 2-s2.0-57849104025 | |
| Show it in Product Database (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Context-Bounded Analysis of Concurrent Queue Systems. In: Proc. of the 14th International Conference onTools and Algorithms for the Construction and theAnalysis of Systems (TACAS'08) (a member conference of ETAPS'08). Lecture Notes in Computer Science BERLIN Springer Vol.4963, Pag.299-314 ISBN:9783540787990 | |
| Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest (Hungary) March 29 - April 6, 2008 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000254735100021 Codice identificativo SCOPUS: 2-s2.0-47249155301 | |
| Show it in Product Database (IRIS) |
