Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Liu, Yan (West Virginia Univ. Morgantown, WV, United States) Yerramalla, Sampath (West Virginia Univ. Morgantown, WV, United States) Fuller, Edgar (West Virginia Univ. Morgantown, WV, United States) Cukic, Bojan (West Virginia Univ. Morgantown, WV, United States) Gururajan, Srikaruth (West Virginia Univ. Morgantown, WV, United States) Date Acquired
September 7, 2013
Publication Date
October 1, 2004
Publication Information
Publication: Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NSF CCR-00-93315
CONTRACT_GRANT: NAC4-163
Distribution Limits
Public
Copyright
Public Use Permitted.