CaltechTHESIS
  A Caltech Library Service

Browse by Eprint ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Pilotto, Concetta (2011) Systematic Design and Formal Verification of Multi-Agent Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SCQF-VP66. https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516

This list was generated on Sun Nov 29 10:47:21 2020 UTC.