A Declarative Language Approach to Device Configuration

Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter. A Declarative Language Approach to Device Configuration. ACM Trans. Comput. Syst., 30(1):5, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: