Experience Using Formal Methods for Specifying a Multi-Agent System.

Christopher A. Rouff, James L. Rash, Michael G. Hinchey

Browse the full ICECCS paper archive.