On Model Checking Boolean BI - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Heng Guo' in GoogleThis author has not been identified. Look up 'Hanpin Wang' in GoogleThis author has not been identified. Look up 'Zhongyuan Xu' in GoogleThis author has not been identified. Look up 'Yongzhi Cao' in Google

runs on WebDSL