Model Checking Pervasive Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Browse the full WETICE paper archive.