Efficient system traversal and property checking by exploiting circuit locality

Description

Tübingen, Univ., Diss., 2006.

Links & Downloads

1. urn:nbn:de:bsz:21-opus-27131

Tags

Verifikation.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315362197
Date	January 2006
Creators	Peranandam, Prakash Mohan.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Type	Online-Publikation.