Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi. Trace anonymity in the OTS/CafeOBJ method. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 754-759, IEEE, 2008. [doi]
@inproceedings{KongOCF08,
title = {Trace anonymity in the OTS/CafeOBJ method},
author = {Weiqiang Kong and Kazuhiro Ogata and Jian Cheng and Kokichi Futatsugi},
year = {2008},
doi = {10.1109/CIT.2008.4594769},
url = {http://dx.doi.org/10.1109/CIT.2008.4594769},
researchr = {https://researchr.org/publication/KongOCF08},
cites = {0},
citedby = {0},
pages = {754-759},
booktitle = {Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008},
editor = {Qiang Wu and Xiangjian He and Quang Vinh Nguyen and Wenjing Jia and Mao Lin Huang},
publisher = {IEEE},
isbn = {978-1-4244-2357-6},
}