Synthesis of synchronous assertions with guarded atomic actions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil. Synthesis of synchronous assertions with guarded atomic actions. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 15-24, IEEE, 2005. [doi]

This author has not been identified. Look up 'Michael Pellauer' in GoogleThis author has not been identified. Look up 'Mieszko Lis' in GoogleThis author has not been identified. Look up 'Don Baltus' in GoogleThis author has not been identified. Look up 'Rishiyur S. Nikhil' in Google

runs on WebDSL