Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2009 | |
| Articolo in rivista | |
| Decision Problems for lower/upper bound Parametric Timed Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 35 (2). Pag.121-151 ISSN:0925-9856. | |
| LA TORRE, Salvatore; L., Bozzelli | |
| Codice identificativo ISI: WOS:000271199900001 Codice identificativo SCOPUS: 2-s2.0-72249090386 | |
| Visualizza sul Database dei Prodotti (IRIS) |
