A New Approach for Specification and Verification Of Distributed Agents

Mironov, A. , M., & Bhavsar, V. , C. (2000). A New Approach for Specification and Verification Of Distributed Agents.

Download PDF

Details

Author(s): Andrew M. Mironov
Virendra C. Bhavsar
Title:: A New Approach for Specification and Verification Of Distributed Agents
Copyright:: Copyright @ Andrew M. Mironov and Virendra C. Bhavsar, 2000.
Date:: 2000
Type(s):: Technical Report
Host Date:: 2000

Zircon - This is a contributing Drupal Theme
Design by WeebPal.

You are here