Return to search

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

Not available / text

Identiferoai:union.ndltd.org:UTEXAS/oai:repositories.lib.utexas.edu:2152/11067
Date04 May 2011
CreatorsGoel, Anuj, 1973-
Source SetsUniversity of Texas
LanguageEnglish
Detected LanguageEnglish
Formatelectronic
RightsCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works., Restricte

Page generated in 0.0028 seconds