Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang. SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. In Internetware'20: 12th Asia-Pacific Symposium on Internetware, Singapore, November 1-3, 2020. pages 229-239, ACM, 2020. [doi]
Abstract is missing.