TITLE     : Formal modeling and quantitative analysis of KLAIM-based mobile systems
AUTHOR(S) : Rocco De Nicola, Diego Latella, Mieke Massink
TYPE      : Conference article
YEAR      : 2005
CODE      : 91196

*** DO NOT EDIT THIS FILE ***