TY  - RPRT
TI  - Staghorn: An Automated Large-Scale Distributed System Analysis Platform.
AU  - Gabert, Kasimir Georg
AU  - Burns, Ian
AU  - Elliott, Steven
AU  - Kallaher, Jenna
AU  - Vail, Adam
PY  - 2017
UR  - https://www.osti.gov/biblio/1464708
ID  - 1464708
ER  -