2. Professors
  3. LA TORRE Salvatore
  4. Research
  5. Publications

Publications

Salvatore LA TORRE Publications


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
Show it in Product Database (IRIS)