Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert J. Hall. Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. In Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. pages 13-23, ACM, 2000. [doi]

This author has not been identified. Look up 'Robert J. Hall' in Google