Eleftheria Katsiri, Alan Mycroft. Model Checking for Sentient Computing: An Axiomatic Approach. In Wathiq Mansoor, Mohamed Khedr, Djamal Benslimane, Zakaria Maamar, Manfred Hauswirth, Karl Aberer, editors, Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments May 9, 2005, Ayia Napa, Cyprus. Volume 165 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.