Scott Neal Gerard

Works (1)

Download BibTeX Download Plain Text View JSON

2013 journal article

Formalizing and Verifying Protocol Refinements

ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 4(2).

By: S. Gerard & M. Singh 

author keywords: Algorithms; Languages; Theory; Verification; Commitments; agent communication; verification of multiagent systems
Sources: Web Of Science, ORCID
Added: August 6, 2018