TeSSLa: Temporal Stream-Based Specification Language

TitleTeSSLa: Temporal Stream-Based Specification Language
Publication TypeConference Paper
Year of Publication2018
AuthorsConvent, L, Hungerecker, S, Leucker, M, Scheffel, T, Schmitz, M, Thoma, D
Conference NameBrazilian Symposium on Formal Methods SBMF
SeriesLecture Notes in Computer Science
@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}