Return to search

Efficient distributed bounded property checking

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

  1. urn:nbn:de:bsz:21-opus-35127
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315949042
Date January 2008
CreatorsNalla, Pradeep Kumar.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0016 seconds