%0 Conference Paper %1 conf/aplas/AbdullaACDHHTWY21 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Chen, Yu-Fang %A Diep, Bui Phi %A Holík, Lukás %A Hu, Denghang %A Tsai, Wei-Lun %A Wu, Zhilin %A Yen, Di-De %B APLAS %D 2021 %E Oh, Hakjoo %I Springer %K dblp %P 305-320 %T Solving Not-Substring Constraint withFlat Abstraction. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2021.html#AbdullaACDHHTWY21 %V 13008 %@ 978-3-030-89051-3

@inproceedings{conf/aplas/AbdullaACDHHTWY21, added-at = {2021-12-23T00:00:00.000+0100}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Chen, Yu-Fang and Diep, Bui Phi and Holík, Lukás and Hu, Denghang and Tsai, Wei-Lun and Wu, Zhilin and Yen, Di-De}, biburl = {https://www.bibsonomy.org/bibtex/218f6807a61572aa8e1326590d0577b79/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2021}, editor = {Oh, Hakjoo}, ee = {https://doi.org/10.1007/978-3-030-89051-3_17}, interhash = {9ea2c40f833002cbb8ced9c3e8e860fc}, intrahash = {18f6807a61572aa8e1326590d0577b79}, isbn = {978-3-030-89051-3}, keywords = {dblp}, pages = {305-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:50.000+0200}, title = {Solving Not-Substring Constraint withFlat Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2021.html#AbdullaACDHHTWY21}, volume = 13008, year = 2021 }