A New Approach for Specification and Verification Of Distributed Agents

Thumbnail Image

Files

item.pdf (529.65 KB)

Date

2000

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

https://unbscholar.lib.unb.ca/handle/1882/14770

Collections

Research Reports