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. Available also from UMI Company.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/53171250
Date January 2002
CreatorsGoel, Anuj,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0018 seconds