TY  - RPRT
TI  - Compiling Stateful Network Properties for Runtime Verification
AU  - Tim Nelson
AU  - Nicholas DeMarinis
AU  - Timothy Adam Hoff
AU  - Rodrigo Fonseca
AU  - Shriram Krishnamurthi
PY  - 2016
UR  - https://arxiv.org/abs/1607.03385
ID  - 1607.03385
ER  -