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 not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Title: Abstraction Refinement of Linear Programs with Arrays
Creators:
CreatorsEmail
Benerecetti, MassimoUNSPECIFIED
Autor/s: ARMANDO A; M. BENERECETTI; MANTOVANI J
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Event Title: Tools and Algorithms for the Construction and Analysis of Systems
Event Location: Braga, Portugal
Event Dates: 13-16 ottobre 2006
Title of Book: Proceedings of the 13th TACAS Conference
Date: 2007
Volume: LNCS 4424
Page Range: pp. 373-388
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5696

Actions (login required)

View Item View Item