Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 1999 | |
| Contributo in Atti di convegno | |
| Parametric Temporal Logic for Model Measuring. In: Proc. of the 26th International Colloquium on Automata, Languages andProgramming, (ICALP 1999). Lecture Notes in Computer Science BERLIN Springer Vol.1644, Pag.159-168 ISBN:3540662243 | |
| 26th International Colloquium on Automata, Languages and Programming, ICALP 1999 Prague (Czech Republic) July 11-15, 1999 | |
| Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
| Digital Object Identifier (DOI): 10.1007/3-540-48523-6_13 Codice identificativo SCOPUS: 2-s2.0-84887437507 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| Polyhedral Flows in Hybrid Automata. In: Proc. of the 2th International Workshop on Hybrid Systems: Computation and Control (HSCC 1999). Lecture Notes in Computer Science BERLIN Springer Vol.1569, Pag.5-18 | |
| Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99 Berg en Dal (The Netherlands) March 29-31, 1999 | |
| Alur, R; Kannan, S; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1007/3-540-48983-5_5 Codice identificativo ISI: WOS:000083613200005 Codice identificativo SCOPUS: 2-s2.0-84949430415 | |
| Visualizza sul Database dei Prodotti (IRIS) |
