Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments.

Christian Hoareau, Ichiro Satoh

Browse the full AINA paper archive.