Lukas Convent

TeSSLa: Zeit- und Strombasierte Spezifikationssprache

• Veröffentlicht auf SBMF'18
• Mitautoren: Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
• Link zu arXiv (auf Englisch)