Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
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) |
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) |