Formal analysis of ubiquitous computing environments through the APEX framework.

Jos Lus Silva, Jos Creissac Campos, Michael D. Harrison

Browse the full EICS paper archive.