Average Reward Timed Games / L., de Alfaro; Faella, Marco; B., Adler. - STAMPA. - 3829:(2005), pp. 65-80. (Intervento presentato al convegno Formal Modeling and Analysis of Timed Systems (FORMATS) tenutosi a Uppsala, Sweden nel September, 2005) [10.1007/11603009_6].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.