Formal modeling and quantitative analysis of KLAIM-based mobile systems.

Rocco De Nicola, Diego Latella, Mieke Massink

Browse the full SAC paper archive.