TY  - RPRT
TI  - Proceedings First Workshop on Logics and Model-checking for Self-* Systems
AU  - Marcello Maria Bersani
AU  - Davide Bresolin
AU  - Luca Ferrucci
AU  - Manuel Mazzara
PY  - 2014
DO  - 10.4204/eptcs.168
UR  - https://arxiv.org/abs/1411.3453
ID  - 1411.3453
ER  -