Abstraction Refinement of Linear Programs with Arrays

BENERECETTI, MASSIMO (2007) Abstraction Refinement of Linear Programs with Arrays. In: Tools and Algorithms for the Construction and Analysis of Systems, 13-16 ottobre 2006, Braga, Portugal.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2007
Altri Autori:ARMANDO A; M. BENERECETTI; MANTOVANI J
Numero di pagine:0
Intervallo di pagina:pp. 373-388
Volume:LNCS 4424
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:Tools and Algorithms for the Construction and Analysis of Systems
Luogo dell'Evento:Braga, Portugal
Data dell'evento:13-16 ottobre 2006
Numero di sistema:5696
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record