TY  - RPRT
TI  - From Rough Consensus to Automated Reasoning
AU  - Zied Ben Houidi
PY  - 2015
UR  - https://arxiv.org/abs/1510.02705
ID  - 1510.02705
ER  -