TY  - RPRT
TI  - MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)
AU  - Paulo Shakarian
AU  - Gerardo I. Simari
AU  - Robert Schroeder
PY  - 2013
UR  - https://arxiv.org/abs/1301.0302
ID  - 1301.0302
ER  -