Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao. On Model Checking Boolean BI. In Erich Grädel, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 302-316, Springer, 2009. [doi]
@inproceedings{GuoWXC09,
title = {On Model Checking Boolean BI},
author = {Heng Guo and Hanpin Wang and Zhongyuan Xu and Yongzhi Cao},
year = {2009},
doi = {10.1007/978-3-642-04027-6_23},
url = {http://dx.doi.org/10.1007/978-3-642-04027-6_23},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/GuoWXC09},
cites = {0},
citedby = {0},
pages = {302-316},
booktitle = {Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings},
editor = {Erich Grädel and Reinhard Kahle},
volume = {5771},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04026-9},
}