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]
Abstract is missing.