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

Publications

Salvatore LA TORRE Publications


2014
Articolo in rivista
Automata-theoretic decision of timed games
THEORETICAL COMPUTER SCIENCE. Vol. 515. Pag.46-63
ISSN:0304-3975.
Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Digital Object Identifier (DOI): 10.1016/j.tcs.2013.08.021
Codice identificativo ISI: WOS:000330913500003
Codice identificativo SCOPUS: 2-s2.0-84890118252
Show it in Product Database (IRIS)