Verification of component-based embedded system designs /

Description

Diss. Linköping : Linköpings universitet, 2006.

Links & Downloads

1. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7473

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/185346996
Date	January 2006
Creators	Karlsson, Daniel,
Publisher	Linköping : Department of Computer and Information Science, Linköping University,
Source Sets	OCLC
Language	English
Detected Language	English
Source	Sammanfattning och fulltext från Linköping University Electronic Press