Specifying agents in the SF specification language

W. David Hurley, Alfs T. Berztiss. Specifying agents in the SF specification language. In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995. pages 112-118, IEEE Computer Society, 1995. [doi]

Authors

W. David Hurley

This author has not been identified. Look up 'W. David Hurley' in Google

Alfs T. Berztiss

This author has not been identified. Look up 'Alfs T. Berztiss' in Google