TY  - RPRT
TI  - FPGA Stream-Monitoring of Real-time Properties
AU  - Jan Baumeister
AU  - Bernd Finkbeiner
AU  - Maximilian Schwenger
AU  - Hazem Torfah
PY  - 2020
UR  - https://arxiv.org/abs/2003.12477
ID  - 2003.12477
ER  -