Formal modelling and quantitative analysis of KLAIM-based mobile systems (2005)

by R DeNicola, D Latella, M Massink
Venue:In Proceedings of SAC’05