%0 Conference Paper %1 conf/iciit/ThanhTTT23 %A Thanh, Tuan Nguyen %A Thanh, Nhan Le %A Thanh, Ha Hoang Thi %A Thi, Thao Ha %B ICIIT %D 2023 %I ACM %K dblp %P 15-19 %T VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules. %U http://dblp.uni-trier.de/db/conf/iciit/iciit2023.html#ThanhTTT23 %@ 978-1-4503-9961-6

@inproceedings{conf/iciit/ThanhTTT23, added-at = {2023-07-21T00:00:00.000+0200}, author = {Thanh, Tuan Nguyen and Thanh, Nhan Le and Thanh, Ha Hoang Thi and Thi, Thao Ha}, biburl = {https://www.bibsonomy.org/bibtex/2754b227b2ba2c5a650960aa7f2b3f9d1/dblp}, booktitle = {ICIIT}, crossref = {conf/iciit/2023}, ee = {https://doi.org/10.1145/3591569.3591572}, interhash = {c60c865ecf3bdd988a62736ddd46f9fe}, intrahash = {754b227b2ba2c5a650960aa7f2b3f9d1}, isbn = {978-1-4503-9961-6}, keywords = {dblp}, pages = {15-19}, publisher = {ACM}, timestamp = {2024-04-09T10:45:43.000+0200}, title = {VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules.}, url = {http://dblp.uni-trier.de/db/conf/iciit/iciit2023.html#ThanhTTT23}, year = 2023 }