TeSSLa: Temporal Stream-Based Specification Language
| Title | TeSSLa: Temporal Stream-Based Specification Language |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Convent, L, Hungerecker, S, Leucker, M, Scheffel, T, Schmitz, M, Thoma, D |
| Conference Name | Brazilian Symposium on Formal Methods SBMF |
| Series | Lecture Notes in Computer Science |
| Volume | 11254 |
| Publisher | Springer |
Bibtex:
@inproceedings {1310,
title = {TeSSLa: Temporal Stream-Based Specification Language},
booktitle = {Brazilian Symposium on Formal Methods SBMF},
series = {Lecture Notes in Computer Science},
volume = {11254},
year = {2018},
publisher = {Springer},
organization = {Springer},
author = {Lukas Convent and Sebastian Hungerecker and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma}
}PDF:
