Static incorrectness diagnosis of CLPFDReport as inadecuate




Static incorrectness diagnosis of CLPFD - Download this document for free, or read online. Document in PDF available to download.

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



Author: Pietrzak, Pawel

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







Related documents