Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001, Dang Duy Bui. Integration of SMGA and Maude to Facilitate Characteristic Conjecture. In Shi-Kuo Chang, editor, The 28th International DMS Conference on Visualization and Visual Languages, KSIR Virtual Conference Center, USA, June 29-30, 2022. pages 45-54, KSI Research Inc., 2022. [doi]
@inproceedings{Tran0RB22, title = {Integration of SMGA and Maude to Facilitate Characteristic Conjecture}, author = {Duong Dinh Tran and Kazuhiro Ogata 0001 and Adrián Riesco 0001 and Dang Duy Bui}, year = {2022}, doi = {10.18293/DMSVIVA22-006}, url = {https://doi.org/10.18293/DMSVIVA22-006}, researchr = {https://researchr.org/publication/Tran0RB22}, cites = {0}, citedby = {0}, pages = {45-54}, booktitle = {The 28th International DMS Conference on Visualization and Visual Languages, KSIR Virtual Conference Center, USA, June 29-30, 2022}, editor = {Shi-Kuo Chang}, publisher = {KSI Research Inc.}, isbn = {1-891706-53-5}, }