Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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 Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants