Sample-Guided Automated Synthesis for CCSL Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen. Sample-Guided Automated Synthesis for CCSL Specifications. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019. pages 98, ACM, 2019. [doi]

This author has not been identified. Look up 'Ming Hu' in GoogleThis author has not been identified. Look up 'Tongquan Wei' in GoogleThis author has not been identified. Look up 'Min Zhang' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL