TY  - RPRT
TI  - TeSSLa: Temporal Stream-based Specification Language
AU  - Lukas Convent
AU  - Sebastian Hungerecker
AU  - Martin Leucker
AU  - Torben Scheffel
AU  - Malte Schmitz
AU  - Daniel Thoma
PY  - 2018
UR  - https://arxiv.org/abs/1808.10717
ID  - 1808.10717
ER  -