Efficient distributed bounded property checking

Description

Tübingen, Univ., Diss., 2008.

Links & Downloads

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

Tags

Beschränkte Distribution. Effizienz.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315949042
Date	January 2008
Creators	Nalla, Pradeep Kumar.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Type	Online-Publikation.