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]
@inproceedings{LuYPZ20,
title = {SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications},
author = {Longlong Lu and Wenhua Yang and Minxue Pan and Tian Zhang},
year = {2020},
doi = {10.1145/3457913.3457917},
url = {https://doi.org/10.1145/3457913.3457917},
researchr = {https://researchr.org/publication/LuYPZ20},
cites = {0},
citedby = {0},
pages = {229-239},
booktitle = {Internetware'20: 12th Asia-Pacific Symposium on Internetware, Singapore, November 1-3, 2020},
publisher = {ACM},
isbn = {978-1-4503-8819-1},
}