Average Reward Timed Games / L., de Alfaro; Faella, Marco; B., Adler. - STAMPA. - 3829:(2005), pp. 65-80. ( Formal Modeling and Analysis of Timed Systems (FORMATS) Uppsala, Sweden 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.


