Model Checking Aspectual Pervasive Software Services.

Dhaminda B. Abeywickrama, Sita Ramakrishnan

Browse the full COMPSAC paper archive.