External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

TeSSLa: Temporal Stream-Based Specification Language

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma. TeSSLa: Temporal Stream-Based Specification Language. In Tiago Massoni, Mohammad Reza Mousavi, editors, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Volume 11254 of Lecture Notes in Computer Science, pages 144-162, Springer, 2018. [doi]

Authors

Lukas Convent

This author has not been identified. Look up 'Lukas Convent' in Google

Sebastian Hungerecker

This author has not been identified. Look up 'Sebastian Hungerecker' in Google

Martin Leucker

This author has not been identified. Look up 'Martin Leucker' in Google

Torben Scheffel

This author has not been identified. Look up 'Torben Scheffel' in Google

Malte Schmitz 0001

This author has not been identified. Look up 'Malte Schmitz 0001' in Google

Daniel Thoma

This author has not been identified. Look up 'Daniel Thoma' in Google
runs on