Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2010 | |
| Contributo in Atti di convegno | |
| Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In: 22nd International Conference on Computer Aided Verification (CAV 2010) Springer Vol.Lecture Notes in Computer Science 6174, Pag.629-644 ISBN:9783642142949 | |
| 22nd International Conference on Computer-Aided Verification, CAV 2010 Edinburgh; United Kingdom 15 July 2010 through 19 July 2010 | |
| LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000281446200053 Codice identificativo SCOPUS: 2-s2.0-77955003220 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| Parametric Metric Interval Temporal Logic. In: 4th International Conference Language and Automata Theory and Applications (LATA 2010) Springer Vol.Lecture Notes in Computer Science 6031, Pag.249-260 ISBN:9783642130885 | |
| 4th International Conference on Language and Automata Theory and Applications, LATA 2010 Trier (Germany) May 24-28, 2010 | |
| DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000279649600021 Codice identificativo SCOPUS: 2-s2.0-77953791611 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| The Language Theory of Bounded Context-Switching. In: 9th Latin American Symposium on Theoretical Informatics (LATIN 2010) Springer Vol.Lecture Notes in Computer Science 6034, Pag.96-107 ISBN:9783642121999 | |
| 9th Latin American Theoretical Informatics Symposium, LATIN 2010 Oaxaca, Mexico April 19-23, 2010 | |
| LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000279661700009 Codice identificativo SCOPUS: 2-s2.0-77953486393 | |
| Visualizza sul Database dei Prodotti (IRIS) |
