A New Approach for Specification and Verification Of Distributed Agents

Loading...
Thumbnail Image

Date

Authors

Mironov, Andrew, M.
Bhavsar, Virendra, C.

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

Collections

Endorsement

Review

Supplemented By

Referenced By