The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version / Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea. - TR498, Math. Dep., Univ. Parma:(2010).
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
BAGNARA, Roberto;PESCETTI, ANDREA;ZAFFANELLA, Enea
2010-01-01
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.