[BBBa10]
C. Bouanaka, F. Belala, K. Barkaoui.
"A Tile Logic Based Semantics for Mobile Software Architecture",
VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010,
January 2010,
pp.35-47,
Series The eWiC Series (ISSN 1477-9358),