Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Chenguang Yao. Translating Xd-C programs to MSVL programs. Theoretical Computer Science, 809:430-465, 2020. [doi]
@article{WangTZDY20, title = {Translating Xd-C programs to MSVL programs}, author = {Meng Wang and Cong Tian and Nan Zhang 0001 and Zhenhua Duan and Chenguang Yao}, year = {2020}, doi = {10.1016/j.tcs.2019.12.038}, url = {https://doi.org/10.1016/j.tcs.2019.12.038}, researchr = {https://researchr.org/publication/WangTZDY20}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {809}, pages = {430-465}, }