Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong 0006. Symbolic verification of regular properties. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 871-881, ACM, 2018. [doi]
@inproceedings{YuCWS018,
title = {Symbolic verification of regular properties},
author = {Hengbiao Yu and Zhenbang Chen and Ji Wang and Zhendong Su and Wei Dong 0006},
year = {2018},
doi = {10.1145/3180155.3180227},
url = {http://doi.acm.org/10.1145/3180155.3180227},
researchr = {https://researchr.org/publication/YuCWS018},
cites = {0},
citedby = {0},
pages = {871-881},
booktitle = {Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
publisher = {ACM},
}