Experience Using Formal Methods for Specifying a Multi-Agent System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher Rouff, James L. Rash, Michael G. Hinchey. Experience Using Formal Methods for Specifying a Multi-Agent System. In 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan. pages 72, IEEE Computer Society, 2000. [doi]

This author has not been identified. Look up 'Christopher Rouff' in GoogleThis author has not been identified. Look up 'James L. Rash' in GoogleThis author has not been identified. Look up 'Michael G. Hinchey' in Google

runs on WebDSL