On Model Checking Boolean BI.
https://doi.org/10.1007/978-3-642-04027-6_23
@inproceedings{DBLP:conf/csl/GuoWXC09,
author = {Heng Guo and
Hanpin Wang and
Zhongyuan Xu and
Yongzhi Cao},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {On Model Checking Boolean {BI}},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {302--316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_23},
doi = {10.1007/978-3-642-04027-6\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GuoWXC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签