FUTUR. Portal de la Producció Científica dels Investigadors de la UPC.

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

Autor: Roberto, B.; Rodriguez, E.; Zaffanella, E.

Tipus d'activitat: Article en revista
Revista: Lecture notes in computer science
Data de publicació: 2005-09
Volum: 3672
Pàgina inicial: 19
Pàgina final: 34

URL: http://www.springerlink.com/(fcpfda45mpp2ms452dke40vm)/app/home/contribution.asp?referrer=parent&backto=issue,4,24;journal,120,2293;linkingpublicationresults,1:105633,1

Grup de recerca: LOGPROG - Lògica i Programació