Return to search

Symbolic model checking techniques for BDD-based planning in distributed environments /

Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references (leaves 175-180). Available also in a digital version from Dissertation Abstracts.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/53825029
Date January 2002
CreatorsGoel, Anuj,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceFull text (PDF) from UMI/Dissertation Abstracts International

Page generated in 0.0015 seconds