Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.

Published in: IEEE Trans. Parallel Distributed Syst. (2013)

Keyphrases