A New Approach for Specification and Verification Of Distributed Agents

Simple item page
dc.contributor.authorMironov, Andrew, M.
dc.contributor.authorBhavsar, Virendra, C.
dc.date.accessioned2023-03-01T18:27:41Z
dc.date.available2023-03-01T18:27:41Z
dc.date.issued2000
dc.description.copyrightCopyright @ Andrew M. Mironov and Virendra C. Bhavsar, 2000.
dc.identifier.urihttps://unbscholar.lib.unb.ca/handle/1882/14770
dc.rightshttp://purl.org/coar/access_right/c_abf2
dc.subject.disciplineComputer Science
dc.titleA New Approach for Specification and Verification Of Distributed Agents
dc.typetechnical report

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
item.pdf
Size:
529.65 KB
Format:
Adobe Portable Document Format
Download

Collections

Research Reports