Compositional Quantitative Reasoning / K., Chatterjee; L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga. - STAMPA. - (2006), pp. 179-188. (Intervento presentato al convegno QEST'06 tenutosi a Riverside, USA nel September, 2006) [10.1109/QEST.2006.10].
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.