TeSSLa: Temporal Stream-Based Specification Language

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Journal title: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Journal number: 11254

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 144-162

DOI identifier: 10.1007/978-3-030-03044-5_10

ISBN: 978-3-030-03043-8