Lukas Convent
Former Employee
Imported from old website. Role: Former Staff Period: -2020
Recent Publications
TeSSLa: Temporal Stream-Based Specification Language
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, 2018
Lukas Convent and Sebastian Hungerecker and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language
CoRR, 2018
Lukas Convent and Sebastian Hungerecker and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma
Theses on Offer
Contact Information
convent@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A