Yining Wang, Chunyi Li, Xiaobing Wang. Verification of CTCS-3 using TMSVL. In 8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021. pages 722-729, IEEE, 2021. [doi]
@inproceedings{WangLW21-15, title = {Verification of CTCS-3 using TMSVL}, author = {Yining Wang and Chunyi Li and Xiaobing Wang}, year = {2021}, doi = {10.1109/DSA52907.2021.00105}, url = {https://doi.org/10.1109/DSA52907.2021.00105}, researchr = {https://researchr.org/publication/WangLW21-15}, cites = {0}, citedby = {0}, pages = {722-729}, booktitle = {8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021}, publisher = {IEEE}, isbn = {978-1-6654-4391-3}, }