Taolue Chen, Tingting Han, Jian Lu. Towards a Model Logic for p-Calculus. In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings. pages 330-335, IEEE Computer Society, 2004. [doi]
@inproceedings{ChenHL04:0,
title = {Towards a Model Logic for p-Calculus},
author = {Taolue Chen and Tingting Han and Jian Lu},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/compsac/2004/2209/01/220910330abs.htm},
tags = {meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/ChenHL04%3A0},
cites = {0},
citedby = {0},
pages = {330-335},
booktitle = {28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-2209-2},
}