TY  - RPRT
TI  - From Boolean Functional Equations to Control Software
AU  - Federico Mari
AU  - Igor Melatti
AU  - Ivano Salvo
AU  - Enrico Tronci
PY  - 2012
UR  - https://arxiv.org/abs/1106.0468
ID  - 1106.0468
ER  -