Mixed signal circuit verification using symbolic model checking techniques

Description

Zugl.: Frankfurt (Main), Univ., Diss., 2008

Links & Downloads

1. http://d-nb.info/992162858/04

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/436274450
Date	January 2008
Creators	Jesser, Alexander
Publisher	München Verl. Dr. Hut
Source Sets	OCLC
Language	English
Detected Language	English