Optimal-Reachability and Control for Acyclic Weighted Timed Automata / LA TORRE, Salvatore; Murano, Aniello; S., Mukhopadhyay. - STAMPA. - 223:(2002), pp. 485-497. (Intervento presentato al convegno 2nd IFIP International Conference on Theoretical Computer Science (IFIP TCS'02) tenutosi a Montreal, Canada nel 25-30 Agosto, 2002).
Optimal-Reachability and Control for Acyclic Weighted Timed Automata
LA TORRE, SALVATORE;MURANO, ANIELLO;
2002
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.