TY  - RPRT
TI  - A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
AU  - M. Usman Iftikhar
AU  - Danny Weyns
PY  - 2012
DO  - 10.4204/eptcs.91.4
UR  - https://arxiv.org/abs/1208.4635
ID  - 1208.4635
ER  -