Static incorrectness diagnosis of CLPFDReportar como inadecuado




Static incorrectness diagnosis of CLPFD - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1998 (English)Licentiate thesis, comprehensive summary (Other academic)

Place, publisher, year, edition, pages: Linköping: Linköping University Electronic Press, 1998. , 75 p.

Series : Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 742

Research subject: Embedded System

Identifiers: URN: urn:nbn:se:ltu:diva-17585Local ID: 41e438c0-c50f-11dd-80bd-000ea68e967bISBN: 91-7219-403-0 (print)OAI: oai:DiVA.org:ltu-17585DiVA: diva2:990590

Note: Upprättat; 1998; 20081208 (pawpie)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved



Autor: Pietrzak, Pawel

Fuente: http://ltu.diva-portal.org/







Documentos relacionados