Automated verification of termination certificates

Fulltext present in this item

Fulltext: 75147.pdf

Format: PDF

Description: publisher's version

Title:	Automated verification of termination certificates
Author(s):	Blanqui, F.; Koprowski, A.
Publication year:	2009
Publisher:	Paris – Rocquencourt : INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Number of Pages:	21 p.
Series:	INRIA Research Report ; 6949
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/75147
Display more details
Subject:	Data Science
Organization:	Data Science

Faculty of Science [25931]
Open Access publications [48027]
Freely accessible full text publications
Electronic publications [74967]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166213]
Academic output Radboud University