Model Checking of Spatial Logic.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han

Browse the full APSEC paper archive.